Title: Introduction à la théorie des langages de programmation
First published: December 1, 1997
Subjects: Programming languages (Electronic computers), Problems, exercises, Syntax, Semantics, Lambda calculus, Programming Languages, Axiomatique, Récursion, Syntaxe langage programmation, Sémantique dénotationnelle, Lambda calcul, Sémantique langage, Théorie langage, Langage programmation, Langages de programmation, Problèmes et exercices, Syntaxe, Sémantique, Lambda-calcul, Théorie des langages (informatique)