Giovanni Sambin

1 book

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 by Giovanni Sambin, Jan M. Smith

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995

Giovanni Sambin, Jan M. Smith

296 pages • missing pub info (editions)

nonfiction mathematics medium-paced