عنوان
پدید آورنده
موضوع
رده
QA 9 .54 .G572 1989
QA
9
.
54
.
G572
1989
کتابخانه
محل استقرار
93297
بهار۹۷
English
)20(
Girard, Jean-Yves
Proofs and types
Cambridge
Cambridge University Press
1989
xi, 176 p.: ill.; 26 cm
Cambridge tracts in theoretical computer science
7
Includes bibliographical references and index
، Proof theory
، Type theory
، Lambda calculus
، Combinatory logic
QA
9
.
54
.
G572
1989
AU
Jean-Yves Girard; translated and with appendices by Paul Taylor ]and[ Yves Lafont
AU luaP ,rolyaT
AU sevY ,tnofaL
TI
02
