| |
| 2008 | ||
|---|---|---|
| 6 | 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 | ||
| 5 | EE | Horatiu Cirstea, Clément Houtmann, Benjamin Wack: Distributive rho-calculus. Electr. Notes Theor. Comput. Sci. 176(4): 95-111 (2007) |
| 2005 | ||
| 4 | EE | Luigi Liquori, Benjamin Wack: The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. Electr. Notes Theor. Comput. Sci. 117: 89-111 (2005) |
| 2004 | ||
| 3 | Benjamin Wack: The Simply-typed Pure Pattern Type System Ensures Strong Normalization. IFIP TCS 2004: 633-646 | |
| 2003 | ||
| 2 | EE | Horatiu Cirstea, Luigi Liquori, Benjamin Wack: Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES 2003: 147-161 |
| 1 | EE | Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack: Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci. 86(4): (2003) |
| 1 | Horatiu Cirstea | [1] [2] [5] |
| 2 | Clément Houtmann | [5] [6] |
| 3 | Claude Kirchner | [1] |
| 4 | Luigi Liquori | [1] [2] [4] |