Twenty-five years of constructive type theory. Proceedings

girro 13 阅读 0 评论
建筑学

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

代发服务PDF电子书10元立即求助