# Introduction à la théorie des langages de programmation : majeure informatique, promotion 2000, année 3, majeure 1, INF 544

> Fiche œuvre du catalogue https://superlivre.fr/livre/introduction-a-la-theorie-des-langages-de-programmation-800d53fa09f1 (données du dépôt légal BnF).

- **Auteurs** : [Gilles Dowek](https://superlivre.fr/auteur/gilles-dowek-cb12099604h) (1966–2025), [Jean-Jacques Lévy](https://superlivre.fr/auteur/jean-jacques-levy-cb11912854p)
- **Première parution** : 2002
- **Langue** : français
- **Genres** : [Langages de programmation -- Sémantique](https://superlivre.fr/genre/langages-de-programmation-semantique-cb119759391), [Langages de programmation fonctionnelle](https://superlivre.fr/genre/langages-de-programmation-fonctionnelle-cb11982287f)
- **Éditions recensées** : 5 (2002–2006)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 2002 | [[École polytechnique]](https://superlivre.fr/editeur/ecole-polytechnique) | Palaiseau | 93 | 2-7302-0951-4 |
| 2003 | [[École polytechnique]](https://superlivre.fr/editeur/ecole-polytechnique) | Palaiseau | 97 | 2-7302-1053-9 |
| 2004 | [[École polytechnique]](https://superlivre.fr/editeur/ecole-polytechnique) | [Palaiseau] | 97 | 2-7302-1171-3 |
| 2005 | [[École polytechnique]](https://superlivre.fr/editeur/ecole-polytechnique) | [Palaiseau] | 107 | 2-7302-1278-7 |
| 2006 | [Éd. de l'École polytechnique](https://superlivre.fr/editeur/de-lecole-polytechnique) | Palaiseau | 109 | 2-7302-1333-3 |