Benjamin Wack

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Benjamin Wack, Clément Houtmann
Strong normalisation in two Pure Pattern Type Systems. Math. Struct. Comput. Sci. 18 (3) (2008)
Horatiu Cirstea, Clément Houtmann, Benjamin Wack
Distributive rho-calculus. WRLA (2006)
Luigi Liquori, Benjamin Wack
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. WRLA (2004)
Benjamin Wack
The Simply-typed Pure Pattern Type System Ensures Strong Normalization. IFIP TCS (2004)
Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
Rewrite strategies in the rewriting calculus. Electron. Notes Theor. Comput. Sci. 86 (4) (2003)
Horatiu Cirstea, Luigi Liquori, Benjamin Wack
Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES (2003)