Skip to content

On the Expressive Strength of the Finitely Typed Lambda-Terms.

Andreas Goerdt

VenueBMFCS
Year1988
ProceedingsMFCS

Browse the full MFCS paper archive.