Yazar
Andrea Asperti
4 cilt bulundu.
Cilt sonuçları
Categories, types, and structures
Andrea Asperti · MIT Press
306 sayfa · 1991
Categories (Mathematics) / Programming languages (Electronic computers) / Categoriee n (wiskunde) / Kategorie (Mathematik) / Programmiersprache
The optimal implementation of functional programming languages
Andrea Asperti · Cambridge University Press
400 sayfa · 1998
Functional programming languages / Programming languages (electronic computers)
Categories, Types, and Structures
Andrea Asperti, Giuseppe Longo · MIT Press
325 sayfa · 1990
Programming languages (electronic computers) / Categories (mathematics)
Mathematical Knowledge Management
Andrea Asperti, Bruno Buchberger, James Harold Davenport · Springer London, Limited
Sayfa sayısı yok · 2004
Mathematics, data processing / Information storage and retrieval systems / Automatic theorem proving