Yazar
Peter Dybjer
6 cilt bulundu.
Peter Dybjer · Cambridge University Press
361 sayfa · 1997
Electronic data processing / Symbolic and mathematical Logic / Semantics / Programming languages (Electronic computers) / Programming languages (electronic computers)
Peter Dybjer · Springer
365 sayfa · 1989
Théorie catégorie / Catégorie / Théorie type / Langage programmation / Calcul propositionnel
Peter Dybjer · Cambridge University Press
Sayfa sayısı yok · 2009
Electronic data processing / Programming languages (electronic computers) / Logic, symbolic and mathematical
Peter Dybjer · Programming Methodology Group
18 sayfa · 1986
Programming languages (Electronic computers) / Semantics / Categories (Mathematics)
Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok