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

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

Research output: Book/ReportBookAcademic

Abstract

No abstract.
Original languageEnglish
Place of PublicationDordrecht
PublisherKluwer Academic Publishers
Number of pages357
ISBN (Electronic)9781402023354
ISBN (Print)1-4020-2334-0, 9781402023347
DOIs
Publication statusPublished - 2005

Publication series

NameApplied logic series. APLS
Volume29
ISSN (Print)1386-2790

Cite this