Proofs and types /

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

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