Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Groote, Philippe  Voir les notices liées en tant qu'auteur

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  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Lambda-calcul  Voir les notices liées en tant que sujet
Programmation (informatique)  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet ; 511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

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)