Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 by Giovanni Sambin Back to product details page >