A modern perspective on type theory : from its origins until today
ShareCopied to clipboardA modern perspective on type theory : from its origins until today is a book. It was written by Fairouz D. Kamareddine and published by Kluwer Academic in 2004.
Key facts
- author: Fairouz D. Kamareddine
- publication date: 2004
- book publisher: Kluwer Academic
- book series: Applied logic series
- book subjects: Type theory
See more factsExtract data
Download datasets about A modern perspective on type theory : from its origins until today:
Dataset of books series that contain A modern perspective on type theory : from its origins until today:
Dataset of book subjects that contain A modern perspective on type theory : from its origins until today:
"A modern perspective on type theory : from its origins until today" is one of the books by Fairouz D. Kamareddine, books by Kluwer Academic and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.