Benjamin Wack

	2008
6		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		Horatiu Cirstea, Clément Houtmann, Benjamin Wack: Distributive rho-calculus. Electr. Notes Theor. Comput. Sci. 176(4): 95-111 (2007)
	2005
4		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		Horatiu Cirstea, Luigi Liquori, Benjamin Wack: Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES 2003: 147-161
1		Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack: Rewrite strategies in the rewriting calculus. Electr. Notes Theor. Comput. Sci. 86(4): (2003)

Coauthor Index

1	Horatiu Cirstea	[1] [2] [5]
2	Clément Houtmann	[5] [6]
3	Claude Kirchner	[1]
4	Luigi Liquori	[1] [2] [4]