Categgories for types

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Crole, Roy L.
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: Cambridge Cambridge University Press 1993
বিষয়গুলি:
Categorical type theory
বিবরন
উপাদানের বিবরণ:
দৈহিক বর্ননা:xvii,335p.
আইসবিএন:0-521-45701-7

অনুরূপ উপাদানগুলি