Yazar
Roy Crole
2 cilt bulundu.
Cilt sonuçları
Categories for types
Roy L. Crole · Cambridge University Press
335 sayfa · 1993
Lambda calculus / Categories (Mathematics) / Typology (linguistics) / Set theory
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roland C. Backhouse, Roy Crole, Jeremy Gibbons · Springer London, Limited
390 sayfa · 2003
Kategori yok