| 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) |
