Proofs and types /

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Girard, Jean-Yves
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: Cambridge [England] ; New York : Cambridge University Press, 1989.
বিষয়গুলি:
Lambda calculus.

MAT

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

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