Twenty-five years of constructive type theory proceedings - Sambin Giovanni ed.; Conference on Twenty-five Years of Constructive Type Theory (19-21 Oct 1995 : Venice,Switzerland); Conference on twenty-five years of constructive type theory Venice, Switzerland 19-21 Oct 1995 (Oxford Clarendon Press, 1998)
Keywords: Mathematical logic; Type theory