| |
| 2005 | ||
|---|---|---|
| 4 | EE | Thierry Joly: On lambda-Definability I: the Fixed Model Problem and Generalizations of the Matching Problem. Fundam. Inform. 65(1-2): 135-151 (2005) |
| 2003 | ||
| 3 | EE | Thierry Joly: Encoding of the Halting Problem into the Monster Type & Applications. TLCA 2003: 153-166 |
| 2001 | ||
| 2 | EE | Thierry Joly: The Finitely Generated Types of the lambda-Calculus. TLCA 2001: 240-252 |
| 1 | EE | Thierry Joly: Constant time parallel computations in lambda-calculus. Theor. Comput. Sci. 266(1-2): 975-985 (2001) |