Skip to content

How to Define Functionals of Free Structures in Typed Lambda Calculus.

Marek Zaionc

VenueBMFCS
Year1989
ProceedingsMFCS

Browse the full MFCS paper archive.