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

Saved in:
Bibliographic Details
Main Authors Sambin, Giovanni, Smith, Jan M
Format Book
LanguageEnglish
Published New York Clarendon Press 1998
Oxford Oxford University Press
Subjects
Type theory > Congresses
Online AccessGet full text

Cover

More Information
Bibliography:Includes bibliographical references
ISBN:9780198501275
0198501277