|
|
|
|
|
|
|
|
1 - 10 von 11 |
|
|
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) lambda-calcul 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. |
Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7 - 9, 1999 ; proceedings Girard, Jean-Yves. - Berlin : Springer, 1999
|
|
|
|
6. |
Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings Bezem, Marc. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
|
|
|
|
7. |
Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16 - 18, 1993, Utrecht, The Netherlands ; proceedings Bezem, Marc. - Online-Ausg.. - Berlin [u.a.] : Springer, 1993
|
|
|
|
8. |
Handbuch der Informatik, Bd. 1: Grundlagen / 5, Mathematische Grundlagen der Informatik Pohlers, Wolfram. - 1993
|
|
|
|
9. |
Typed lambda calculi and applications : proceedings Bezem, Marc. - Berlin : Springer, 1993
|
|
|
|
10. |
Categorical combinators, sequential algorithms, and functional programming Curien, Pierre-Louis. - 2. ed. - Boston : Birkhäuser, 1993
|
|
|
|
|
|
|
1 - 10 von 11 |
|
Wort |
|
Typ |
|
Anzahl |
|
31.10 |
|
Basisklassifikation (XBKL) |
|
1223 |
lambda-calcul |
|
Schlagwörter GND (Phrase) (XSP) |
|
43 |
|
|
|
|
|
|
|
1 - 10 von 11 |
|
|