Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 (Clarendon Press, 1998)
Includes bibliographical references