Skip to content

Limits, Higher Type Computability and Type-Free Languages.

Giuseppe Longo

VenueBMFCS
Year1984
ProceedingsMFCS

Browse the full MFCS paper archive.