A Modern Perspective on Type Theory -- From Its Origins until Today

Name: A Modern Perspective on Type Theory -- From Its Origins until Today
Author: Fairouz Kamareddine

by Fairouz Kamareddine · 2 reviews · 2006

Reviewed by	Journal	Date	Access
H C M De Swart	Journal of Logic, Language and Information	2006-09-01	Restricted
Marc Bezem	The Bulletin of Symbolic Logic	2006-06-01	Restricted