[Review of the book A Modern Perspective on Type Theory from its Origins until Today, F. Kamareddinne & T. Laan, 2004]

H.C.M. de Swart

[Review of the book A Modern Perspective on Type Theory from its Origins until Today, F. Kamareddinne & T. Laan, 2004]

H.C.M. de Swart

Research output: Contribution to journal › Book/Film/Article review › Other research output

Original language	English
Pages (from-to)	297-302
Journal	Journal of logic, language and information
Volume	15
Publication status	Published - 2006

Cite this

@article{2b4ed2f1cfc74e47be8f76d1ca6f5a65,

title = "[Review of the book A Modern Perspective on Type Theory from its Origins until Today, F. Kamareddinne \& T. Laan, 2004]",

author = "\{de Swart\}, H.C.M.",

note = "Reviewed items: Title: A Modern Perspective on Type Theory from its Origins until Today Author(s): F. Kamareddinne; T. Laan Year published: 2004 Number of pages: 357 Publisher: Kluwer Academic Publishers Place of publication: Dordrecht ISBN: 1402023340",

year = "2006",

language = "English",

volume = "15",

pages = "297--302",

journal = "Journal of logic, language and information",

issn = "0925-8531",

publisher = "Springer Netherlands",

}

TY - JOUR

T1 - [Review of the book A Modern Perspective on Type Theory from its Origins until Today, F. Kamareddinne & T. Laan, 2004]

AU - de Swart, H.C.M.

N1 - Reviewed items: Title: A Modern Perspective on Type Theory from its Origins until Today Author(s): F. Kamareddinne; T. Laan Year published: 2004 Number of pages: 357 Publisher: Kluwer Academic Publishers Place of publication: Dordrecht ISBN: 1402023340

PY - 2006

Y1 - 2006

M3 - Book/Film/Article review

SN - 0925-8531

VL - 15

SP - 297

EP - 302

JO - Journal of logic, language and information

JF - Journal of logic, language and information

ER -