Catalogue SUDOC

Copyright © 2023 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?

rechercher (et)

(Mots du titre)

Lambda-calcul

| 56 résultat(s)

Services

Mon panier / Export

Affiner la recherche

Mot	Type	Compte
lambdacalcul	Mots du titre	[56]

	1.	Lambda-calcul et reseaux Régnier, Laurent / Atelier national de reproduction des thèses / 1992
	2.	LAMBDA-CALCUL ET RESEAUX Régnier, Laurent / [s.n.] / 1992
	3.	Lambda-calculus, types and models Krivine, Jean-Louis (1939-....) / Masson : E. Horwood / cop. 1993
	4.	Autour du lambda-calcul partiel Even, Christian / Atelier national de reproduction des thèses / 1993
	5.	Autour du lambda-calcul partiel Even, Christian (19..-....) / [s.n.] / 1993
	6.	Lambda-calcul : types et modèles Krivine, Jean-Louis (1939-....) / Masson / 1990
	7.	Réductions sures dans le lambda-calcul Lévy, Jean-Jacques (1947-....) / Université Paris VII / 1974
	8.	Autour du lambda-calcul avec constructeurs Petit, Barbara (1984-....) / 2011
	9.	Un lambda-calcul intuitionniste avec exceptions Mounier, Georges / Atelier national de reproduction des thèses / 1999
	10.	Semantique du Lambda-Calcul avec ressources Lavatelli, Carolina / Atelier national de reproduction des thèses / 1996