Person: Pierre Crégut
DBLP: Cr=eacute=gut:Pierre
Contributed to:
Wrote 2 papers:
- WSA-1991-Cregut #french
- Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels (PC), pp. 37–43.
- LFP-1990-Cregut #automaton #normalisation
- An Abstract Machine for λ-Terms Normalization (PC), pp. 333–340.