| Originele taal-2 | Nederlands |
|---|---|
| Plaats van productie | Eindhoven |
| Uitgeverij | Technische Universiteit Eindhoven |
| Aantal pagina's | 11 |
| Status | Gepubliceerd - 1982 |
A new definition of correctness of expressions in lambda typed lambda calculus
N.G. Bruijn, de
Onderzoeksoutput: Boek/rapport › Rapport › Populair
41
Downloads
(Pure)