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 [107009]
lambda Mots du titre [956]
typed Mots du titre [232]
calculi Mots du titre [544]
premierprécédent | 1 | 2 | 3 | suivantdernier

Ressources électroniques 1.
1st ed. 2007. / Springer Berlin Heidelberg / 2007Résumé
Ressources électroniques 2.
Urzyczyn, Pawel / 1st ed. 2005. / Springer Berlin Heidelberg / 2005Résumé
Ressources électroniques 3.
Springer Berlin Heidelberg : Imprint: Springer / 2013Résumé
Ressources électroniques 4.
Springer / 2005
Ressources électroniques 5.
International Conference on Typed Lambda Calculi and Applications (03 ; 1997 ; Nancy, France) / Springer / 2005
Livres 6.
International Conference on Typed Lambda Calculi and Applications (03 ; 1997 ; Nancy, France) / Springer / 1997
Ressources électroniques 7.
Springer / 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) / Springer Berlin Heidelberg : Imprint: Springer / 2009Résumé
Livres 10.
International Conference on Typed Lambda Calculi and Applications (Utrecht, Netherlands ; 1993) / Springer-Verlag / c1993