| Originele taal-2 | Engels |
|---|---|
| Plaats van productie | Eindhoven |
| Uitgeverij | Technische Universiteit Eindhoven |
| Aantal pagina's | 13 |
| Status | Gepubliceerd - 1983 |
Citeer dit
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Notes on typed lambda calculus
- N.G. Bruijn, de
Onderzoeksoutput: Boek/rapport › Rapport › Populair
57
Downloads
(Pure)