Twenty-five years of constructive type theory. Proceedings

Twenty-five years of constructive type theory. Proceedings

Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

by: Giovanni Sambin, Jan M. Smith,

Publisher: Oxford University Press, USA (1998)

Print length: 291
ISBN: 0198501277,9780198501275,

Language: English