 |
 |
|
|
 |
|
|
|
1 - 10 von 13
  |
|
 |
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) lambda calculus
eingrenzen (Basisklassifikation (XBKL)) 54.10
|
|
|
|
|
 |
1. |
Lambda calculi : a guide for computer scientists
Hankin, Chris. - Oxford [u.a.] : Clarendon Press, 1994
|
|
|
|
2. |
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 ; proceedings
Groote, Philippe de *1961-*. - Berlin [u.a.] : Springer, 1997
|
|
|
|
3. |
Domains and lambda-calculi
Amadio, Roberto M.. - Cambridge [u.a.] : Cambridge University Press, 1998
|
|
|
 |
4. |
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
Dezani-Ciancaglini, Mariangiola. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
|
|
|
|
5. |
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
|
|
|
|
6. |
Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
Cousineau, Guy. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1986
|
|
|
|
7. |
Combinators and functional programming languages : Val d'Ajol, France, May 6 - 10, 1985; proc.
Cousineau, Guy. - Berlin : Springer, 1986
|
|
|
|
8. |
Combinators and functional programming languages : thirteenth Spring School of the LITP, Val d'Ajol, France, May 6 - 10, 1985 ; proceedings
Cousineau, Guy. - Online-Ausg.. - Berlin [u.a.] : Springer, 1986
|
|
|
|
9. |
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
|
|
|
|
10. |
Isomorphisms of types : from [lambda]-calculus to information retrieval and language design
Di Cosmo, Roberto. - Boston [u.a.] : Birkhäuser, 1995
|
|
|
|
|
|
|
1 - 10 von 13
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| 54.10 |
|
Basisklassifikation (XBKL) |
|
1618 |
| lambda calculus |
|
Schlagwörter GND (Phrase) (XSP) |
|
60 |
|
|
|
|
|
|
|
1 - 10 von 13
|
|
|
