Original language | Dutch |
---|---|
Place of Publication | Eindhoven |
Publisher | Technische Universiteit Eindhoven |
Number of pages | 11 |
Publication status | Published - 1982 |
A new definition of correctness of expressions in lambda typed lambda calculus
N.G. Bruijn, de
Research output: Book/Report › Report › Popular
41
Downloads
(Pure)