| Originele taal-2 | Engels |
|---|---|
| Plaats van productie | Eindhoven |
| Uitgeverij | Technische Universiteit Eindhoven |
| Aantal pagina's | 14 |
| Status | Gepubliceerd - 1985 |
Upper bounds for the length of normal forms and for the length of reduction sequence in lambda-typed lambda calculus
N.G. Bruijn, de
Onderzoeksoutput: Boek/rapport › Rapport › Populair
68
Downloads
(Pure)