You need to sign in or sign up before continuing.

Giovanni Sambin

1 book

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

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

Jan M. Smith, Giovanni Sambin

296 pages • hardcover

nonfiction mathematics medium-paced