Laboratoire d'informatique théorique et programmation (Paris)
Laboratoire informatique théorique et programmation (France)
Laboratoire d'Informatique Théorique et Programmation (Paryż).
Ecole de Printemps d'Informatique Théorique
Laboratoire informatique théorique et programmation
VIAF ID: 139310238 ( Corporate )
Permalink: http://viaf.org/viaf/139310238
Preferred Forms
- 111 2 _ ‡a Ecole de Printemps d'Informatique Théorique
-
-
- 110 2 _ ‡a Laboratoire d'Informatique Théorique et Programmation Paris
- 110 2 _ ‡a Laboratoire d'informatique théorique et programmation (Paris)
- 210 | | ‡a Laboratoire d'informatique théorique et programmation ‡c Paris
-
-
-
- 110 2 0 ‡a Laboratoire informatique théorique et programmation (France)
-
4xx's: Alternate Name Forms (37)
5xx's: Related Names (3)
- 510 2 _ ‡a Centre National de la Recherche Scientifique Paris
- 510 2 _ ‡a Université Paris, 7
- 510 2 _ ‡a Université Pierre et Marie Curie Paris
Works
Title | Sources |
---|---|
Laboratoire informatique théorique et programmation (France). Spring School (13th : 1985 : Le Val-d'Ajol, France). Combinators and functional programming languages, c1986: | |
Lambda calcul et sémantique formelle des langages de programmation : actes de la 6e Ecole de Printemps d'Informatique Théorique, La Châtre 1978 | |
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings |