Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Groote, Philippe
Titre(s) : Typed Lambda Calculi and Applications [Texte électronique] : Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2-4, 1997 Proceedings / edited by Philippe Groote, J. Roger Hindley
Publication : Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1997
Description matérielle : 1 online resource
Collection : Lecture Notes in Computer Science ; 1210
Note(s) : L'accès complet au document est possible pour les usagers de tous les établissements
publics français (situés ou non sur le territoire français) ayant des missions d'enseignement
supérieur et/ou de recherche, des établissements d'enseignement supérieur privés,
des bibliothèques publiques
Autre(s) auteur(s) : Roger Hindley, J. Fonction indéterminée
Sujet(s) : Informatique
Lambda-calcul
Programmation (informatique)
Logique mathématique
Indice(s) Dewey :
005.131 (23e éd.) = Logique symbolique (informatique) ; 511.3 (23e éd.) = Logique mathématique
Identifiants, prix et caractéristiques : ISBN 9783540684381
Identifiant de la notice : ark:/12148/cb44693818x
Notice n° :
FRBNF44693818
(notice reprise d'un réservoir extérieur)