A modern perspective on type theory : from its origins until today

F. Kamareddine, T.D.L. Laan, R.P. Nederpelt

Onderzoeksoutput: Boek/rapportBoekAcademic

Samenvatting

No abstract.
Originele taal-2Engels
Plaats van productieDordrecht
UitgeverijKluwer Academic Publishers
Aantal pagina's357
ISBN van elektronische versie9781402023354
ISBN van geprinte versie1-4020-2334-0, 9781402023347
DOI's
StatusGepubliceerd - 2005

Publicatie series

NaamApplied logic series. APLS
Volume29
ISSN van geprinte versie1386-2790

Citeer dit

Kamareddine, F., Laan, T. D. L., & Nederpelt, R. P. (2005). A modern perspective on type theory : from its origins until today. (Applied logic series. APLS; Vol. 29). Dordrecht: Kluwer Academic Publishers. https://doi.org/10.1007/1-4020-2335-9