APA (7th ed.) Citation

(1998). Twenty-five years of constructive type theory: Proceedings of a congress held in Venice, October 1995. Clarendon Press.

Chicago Style (17th ed.) Citation

Twenty-five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford: Clarendon Press, 1998.

MLA (9th ed.) Citation

Twenty-five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Clarendon Press, 1998.