Can a Proper Lambda-Model have an R.E. Equational Theory?

Abstract

In apparatus comprising a plurality of hydrocyclone stages connected in cascade as a totally enclosed system, for use in the upgrading of starch or other particulate feedstock, there is provision for recycling part of the underflow stream from the final hydrocyclone stage to the preceding stage.