Benjamin Wack

According to our database, Benjamin Wack authored at least 7 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Strong normalisation in two Pure Pattern Type Systems.

Benjamin Wack, Clément Houtmann

Math. Struct. Comput. Sci., 2008

2006

Distributive rho-calculus.

Horatiu Cirstea, Clément Houtmann, Benjamin Wack

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

2005

Typage et déduction dans le calcul de réécriture. (Type systems and deduction in the rewriting calculus).

Benjamin Wack

PhD thesis, 2005

2004

The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference].

Luigi Liquori, Benjamin Wack

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

The Simply-typed Pure Pattern Type System Ensures Strong Normalization.

Benjamin Wack

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Rewrite strategies in the rewriting calculus.

Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack

Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003

Rewriting Calculus with Fixpoints: Untyped and First-Order Systems.

Horatiu Cirstea, Luigi Liquori, Benjamin Wack

Proceedings of the Types for Proofs and Programs, International Workshop, 2003