Categgories for types

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Crole, Roy L.
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: Cambridge Cambridge University Press 1993
বিষয়গুলি:
Categorical type theory

UL

হোল্ডিংসের বিবরণ UL
ডাক সংখ্যা: 512.58 CRO
প্রতিলিপি বর্তমান অবস্থা অনুপলব্ধ

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