trier par
Copyright © 2021 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Typed lambda calculi and applications | 21 résultat(s)

Services

Affiner la recherche

Mot Type Compte
applications Mots du titre [104298]
lambda Mots du titre [942]
typed Mots du titre [228]
calculi Mots du titre [537]
premierprécédent | 1 | 2 | 3 | suivantdernier

Ressources électroniques 1.
1st ed. 2007. / 2007Résumé
Ressources électroniques 2.
Urzyczyn, Pawel / 1st ed. 2005. / 2005Résumé
Ressources électroniques 3.
Hasegawa, Masahito / 2013Résumé
Ressources électroniques 4.
2005
Ressources électroniques 5.
International Conference on Typed Lambda Calculi and Applications (3rd ; 1997 ; Nancy, France) / 2005
Livres 6.
International Conference on Typed Lambda Calculi and Applications (03 ; 1997 ; Nancy, France) / 1997
Ressources électroniques 7.
2005
Livres 8.
International Conference on Typed Lambda Calculi and Applications (2nd ; 1995 ; Edinburgh, Scotland) / Springer-Verlag / c1995
Ressources électroniques 9.
International Conference on Typed Lambda Calculi and Applications (9th ; Brasilla, Brazil ; 2009) / 2009Résumé
Livres 10.
International Conference on Typed Lambda Calculi and Applications (Utrecht, Netherlands ; 1993) / Springer-Verlag / c1993