Lanean...
Proofs and types /
| Egile nagusia: | Girard, Jean-Yves |
|---|---|
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
Cambridge [England] ; New York :
Cambridge University Press,
1989.
|
| Gaiak: |
Antzeko izenburuak
-
Lambda-calculus and combinators, an introduction /
nork: Hindley, J. Roger
Argitaratua: (2008) -
Lambda-calculus and combinators, an introduction /
nork: Hindley, J. Roger
Argitaratua: (2008) -
Income modeling using quantile functions(Thesis)
nork: Haritha N Haridas
Argitaratua: (2007) -
Estimation of lifetime characteristics using generalized LAMBDA distribution (PhD Thesis) /
Argitaratua: (2008) -
Java SE 8 for the really impatient/
nork: Horstmann,Cay S.
Argitaratua: (2015)