Giovanni Sambin profile picture

Giovanni Sambin

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
Positive Topology: A New Practice in Constructive Mathematics (Oxford Logic Guides)