Home / Authors / Giovanni Sambin, Jan M. Smith

Books by Giovanni Sambin, Jan M. Smith

All books by this author

1 books found
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides)
Twenty-Five Years of Constructive Type Theory: Proceedings …
By: Giovanni Sambin, Jan M. Smith
View Details