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

Onderzoeksoutput: Boek/rapport › Boek › Academic

Samenvatting

No abstract.

Originele taal-2	Engels
Plaats van productie	Dordrecht
Uitgeverij	Kluwer Academic Publishers
Aantal pagina's	357
ISBN van elektronische versie	9781402023354
ISBN van geprinte versie	1-4020-2334-0, 9781402023347
DOI's	https://doi.org/10.1007/1-4020-2335-9
Status	Gepubliceerd - 2005

Publicatie series

Naam	Applied logic series. APLS
Volume	29
ISSN van geprinte versie	1386-2790

Toegang tot document

10.1007/1-4020-2335-9

Andere bestanden en links

full text

Citeer dit

@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

Samenvatting

Publicatie series

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit