Skip to content

Functorial Semantics of the Type Free lambda-beta eta Calculus.

Adam Obtulowicz

VenueBFCT
Year1977
ProceedingsFCT

Browse the full FCT paper archive.