1. An introduction to combinators and )Lambda(-calculus
Author: Hindley, J. Roger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56I5
2. Basic simple type theory
Author: Hindley,J.Roger
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، programing languages)electronic computers(,، type theory
Classification :
QA
76
.
7
.
H55
1996
3. Combinatory logic. Volume II
Author: [edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatory logic.,MATHEMATICS -- Infinity.,MATHEMATICS -- Logic.
4. Introduction to combinators and ]lambda[-calculus
Author: Hindley, J. Roger
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56
1986
5. Lambda-calculus and combinators : an introduction
Author: Hindley, J. Roger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H56L3
6. Lambda-calculus and combinators, an introduction
Author: Hindley, J. Roger.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H565
2008
7. Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
Author: Philippe de Groote, J. Roger Hindley )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Lambda calculus
Classification :
QA
76
.
L28
Vol
.
1210
