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

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
Kamareddine, F. ; Laan, T.D.L. ; Nederpelt, R.P. / A modern perspective on type theory : from its origins until today. Dordrecht : Kluwer Academic Publishers, 2005. 357 p. (Applied logic series. APLS).
@book{21c2477d35ae4601b398dac4ceb1c30f,
title = "A modern perspective on type theory : from its origins until today",
abstract = "No abstract.",
author = "F. Kamareddine and T.D.L. Laan and R.P. Nederpelt",
year = "2005",
doi = "10.1007/1-4020-2335-9",
language = "English",
isbn = "1-4020-2334-0",
series = "Applied logic series. APLS",
publisher = "Kluwer Academic Publishers",
address = "Netherlands",

}

Kamareddine, F, Laan, TDL & Nederpelt, RP 2005, A modern perspective on type theory : from its origins until today. Applied logic series. APLS, vol. 29, Kluwer Academic Publishers, Dordrecht. https://doi.org/10.1007/1-4020-2335-9

A modern perspective on type theory : from its origins until today. / Kamareddine, F.; Laan, T.D.L.; Nederpelt, R.P.

Dordrecht : Kluwer Academic Publishers, 2005. 357 p. (Applied logic series. APLS; Vol. 29).

Research output: Book/ReportBookAcademic

TY - BOOK

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

AU - Kamareddine, F.

AU - Laan, T.D.L.

AU - Nederpelt, R.P.

PY - 2005

Y1 - 2005

N2 - No abstract.

AB - No abstract.

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-2334-7

U2 - 10.1007/1-4020-2335-9

DO - 10.1007/1-4020-2335-9

M3 - Book

SN - 1-4020-2334-0

SN - 9781402023347

T3 - Applied logic series. APLS

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

PB - Kluwer Academic Publishers

CY - Dordrecht

ER -

Kamareddine F, Laan TDL, Nederpelt RP. A modern perspective on type theory : from its origins until today. Dordrecht: Kluwer Academic Publishers, 2005. 357 p. (Applied logic series. APLS). https://doi.org/10.1007/1-4020-2335-9