Proofs and types /

書目詳細資料
主要作者: Girard, Jean-Yves
格式: Printed Book
語言:English
出版: Cambridge [England] ; New York : Cambridge University Press, 1989.
主題:
Lambda calculus.
實物特徵
實物描述:xi, 176 p. : ill. ;
ISBN:0521371813

相似書籍