Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /

Martin-Löf type theory is an important and practical formalisation of the foundations of mathematics. This volume celebrates the 25th anniversary of the birth of the subject, and is a record of areas of activity and of its early development.

Bibliographic Details

Other Authors:	Sambin, Giovanni (Editor), Smith, Jan M. (Editor)
Format:	eBook
Language:	English
Published:	Oxford : Oxford University Press, 2020.
Series:	Oxford logic guides ; 36.
Subjects:	Type theory > Congresses. Théorie des types > Congrès. Type theory. Electronic books. Conference papers and proceedings.
Online Access:	Connect to the full text of this electronic book