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

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

doi:10.1007/1-4020-2335-9

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

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

Formal System Analysis

Research output: Book/Report › Book › Academic

Abstract

No abstract.

Original language	English
Place of Publication	Dordrecht
Publisher	Kluwer Academic Publishers
Number of pages	357
ISBN (Electronic)	9781402023354
ISBN (Print)	1-4020-2334-0, 9781402023347
DOIs	https://doi.org/10.1007/1-4020-2335-9
Publication status	Published - 2005

Publication series

Name	Applied logic series. APLS
Volume	29
ISSN (Print)	1386-2790

Access to Document

10.1007/1-4020-2335-9

Cite this

@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",

}

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 -

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

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this