Logo
DeutschClear Cookie - decide language by browser settings
Schwichtenberg, Helmut (1982): Complexity of normalization in the pure typed Lambda-calculus. The L.E.J. Browner Centenary Symposium, 08. - 13. Juni 1981, Noordwijkerhout, Niederlande.
[img]
Preview

PDF

437kB