Yazar
Tatsuya Hagino
3 cilt bulundu.
Cilt sonuçları
A categorical programming language
Tatsuya Hagino · University of Edinburgh, Department of Computer Science
179 sayfa · 1987
Kategori yok
A typed lambda calculus with categorical type constructors
Tatsuya Hagino · University of Edinburgh, Laboratory forFoundations of Computer Science
18 sayfa · 1988
Kategori yok
Advances in Software Science and Technology
Reiji Nakajima, Norihisa Doi, Tatsuya Hagino · Elsevier Science & Technology Books
Sayfa sayısı yok · 2014
Kategori yok