Your search returned 5 results. Subscribe to this search

|
1.  Monographies, textes Combinators, [lambda]-terms and proof theory [] / Sören StenlundPublication :Dordrecht, Holland : D. Reidel publishing Company, 1972Description : 1 vol. (184 p.) ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI0943BIS] (1).
2.  Monographies, textes Homotopic deductions in unification logic = Déductions homotopes dans la logique de l'unification / Philippe Le ChenadecPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, [1991]Description : 64 p. : ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (1384)] (1).
3.  Monographies, textes Lambda-calcul [] : types et modèles / Jean-Louis Krivine,...Publication :Paris, Milan, Barcelone [etc.] : Masson, cop.1990, 53-Mayenne : Impr. FlochDescription : 1 vol. (VIII-176 p.) : couv. ill. en coul. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-061] (1), Sophia Antipolis[EMS 110-C/N 2821] (1).
4.  Monographies, textes Logique, réduction, résolution [] / René Lalement,... ; préf. de Michel DemazurePublication :Paris, Milan, Barcelone [etc.] : Masson, 1990, 61-Alençon : Normandie impr.Description : 1 vol. (xii-370 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-062] (1), Sophia Antipolis[EMS 110-C/N 2843] (1).
5. Thèses RESULTATS DE CONFLUENCE POUR LES REGLES FORTES DE LA LOGIQUE COMBINATOIRE CATEGORIQUE ET LIENS AVEC LES LAMBDA-CALCULS / THERESE HARDIN-ACCART ; SOUS LA DIRECTION DE PIERRE-LOUIS CURIENPublication :[S.l.] : [s.n.], 1987Description : 238 P. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3763] (1).

Powered by Koha