Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 - Sambin, Giovanni; Smith, Jan M. (Oxford logic guides ;, 1998)