You need to sign in or sign up before continuing.

Browse editions

Current edition
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
Other editions (1)
Expand filter menu Filter editions
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides. by Giovanni Sambin
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.
—
Giovanni Sambin

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

Giovanni Sambin

283 pages • first pub 1998 (editions)

nonfiction mathematics medium-paced