 |
 |
|
|
 |
|
|
|
1 - 7 von 7
|
|
 |
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) lambda-kalkül
eingrenzen (Basisklassifikation (XBKL)) 31.10
|
|
|
|
|
 |
1. |
Lectures on the Curry-Howard isomorphism
Sørensen, Morten Heine. - 1st ed. Online-Ausg.]. - Amsterdam : Elsevier, 2006
|
|
|
 |
2. |
Lectures on the Curry-Howard isomorphism
Sørensen, Morten Heine. - 1st ed. - Amsterdam : Elsevier, 2006
|
|
|
|
3. |
Reductive logic and proof-search : proof theory, semantics, and control
Pym, David J.. - Oxford [u.a.] : Clarendon Press, 2004
|
|
|
|
4. |
Derivation and computation : taking the Curry-Howard correspondence seriously [ : derivation systems, substitution algorithms, computation mechanisms]
Simmons, Harold *1942-*. - 1st publ. - Cambridge [u.a] : Cambridge Univ. Press, c 2000
|
|
|
|
5. |
Handbuch der Informatik, Bd. 1: Grundlagen / 5, Mathematische Grundlagen der Informatik
Pohlers, Wolfram. - 1993
|
|
|
|
6. |
Categorical combinators, sequential algorithms, and functional programming
Curien, Pierre-Louis. - 2. ed. - Boston : Birkhäuser, 1993
|
|
|
|
7. |
To H. B. Curry: essays on combinatory logic, lambda calculus and formalism
Seldin, Jonathan Paul. - London [u.a.] : Acad. Press, 1980
|
|
|
|
|
|
|
1 - 7 von 7
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| 31.10 |
|
Basisklassifikation (XBKL) |
|
1222 |
| lambda-kalkül |
|
Schlagwörter GND (Phrase) (XSP) |
|
27 |
|
|
|
|
|
|
|
1 - 7 von 7
|
|
|
