| |
Ecole Polytechnique
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2007 | ||
|---|---|---|
| 1 | EE | Denis Cousineau, Gilles Dowek: Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo. TLCA 2007: 102-117 |
| 1 | Gilles Dowek | [1] |