| Originele taal-2 | Engels |
|---|---|
| Plaats van productie | Eindhoven |
| Uitgeverij | Technische Universiteit Eindhoven |
| Aantal pagina's | 2 |
| Status | Gepubliceerd - 1985 |
Upper bound for the length of the norm of an expression in lambda-typed lambda calculus
N.G. Bruijn, de
Onderzoeksoutput: Boek/rapport › Rapport › Populair
36
Downloads
(Pure)