| |
| * | 2008 | |
|---|---|---|
| 5 | EE | Clément Houtmann: Axiom Directed Focusing. TYPES 2008: 169-185 |
| 4 | EE | Benjamin Wack, Clément Houtmann: Strong normalisation in two Pure Pattern Type Systems. Mathematical Structures in Computer Science 18(3): 431-465 (2008) |
| 2007 | ||
| 3 | EE | Paul Brauner, Clément Houtmann, Claude Kirchner: Principles of Superdeduction. LICS 2007: 41-50 |
| 2 | EE | Paul Brauner, Clément Houtmann, Claude Kirchner: Superdeduction at Work. Rewriting, Computation and Proof 2007: 132-166 |
| 1 | EE | Horatiu Cirstea, Clément Houtmann, Benjamin Wack: Distributive rho-calculus. Electr. Notes Theor. Comput. Sci. 176(4): 95-111 (2007) |
| 1 | Paul Brauner | [2] [3] |
| 2 | Horatiu Cirstea | [1] |
| 3 | Claude Kirchner | [2] [3] |
| 4 | Benjamin Wack | [1] [4] |