tania andrew

Giovanni Sambin

Stand Alone

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

See All