Twenty-five years of constructive type theory
Subtitle: proceedings of a congress held in Venice, October 1995
By: edited by Giovanni Sambin and Jan M. Smith.
Contributors: Sambin, Giovanni.; Smith, Jan M.
Series: Oxford logic guides ;; 36; Oxford science publications
Publisher: Clarendon Press; Oxford University Press
Published: 1998
Place of publication: Oxford; New York
Language: eng
Number of pages: 283
Subjects: Type theory -- Congresses.
Other titles: 25 years of constructive type theory
Notes: Includes bibliographical references.