Lanean...
Lambda-calculus and combinators, an introduction /
| Egile nagusia: | Hindley, J. Roger |
|---|---|
| Beste egile batzuk: | Seldin, J. P. |
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
Cambridge, UK ; New York :
Cambridge University Press,
c2008.
|
| Gaiak: |
Antzeko izenburuak
-
Lambda-calculus and combinators, an introduction /
nork: Hindley, J. Roger
Argitaratua: (2008) -
Proofs and types /
nork: Girard, Jean-Yves
Argitaratua: (1989) -
Introduction to combinatory logic
nork: Hindley, J. Roger
Argitaratua: (1972) -
Estimation of lifetime characteristics using generalized LAMBDA distribution (PhD Thesis) /
Argitaratua: (2008) -
Principles of statutory intepretation/14th ed. including the general clauses act, 1897 with notes
nork: Singh, G P
Argitaratua: (2016)