Yazar
Giovanni Sambin
3 cilt bulundu.
Cilt sonuçları
Twenty-five years of constructive type theory
Giovanni Sambin, Jan M. Smith · Oxford University Press, USA
292 sayfa · 1998
Type theory / Congresses / Mathematics
Twenty-five years of constructive type theory
Giovanni Sambin, Jan M. Smith · Oxford University Press, Incorporated
283 sayfa · 1998
Type theory / Congresses