Claude Kirchner

Documents

Identifiants chercheurs

Présentation

frederic-blanqui

	On the confluence of lambda-calculus with conditional rewriting Frédéric Blanqui , Claude Kirchner , Colin Riba Theoretical Computer Science, 2010, 411 (37), pp.3301-3327. ⟨10.1016/j.tcs.2009.07.058⟩ Article dans une revue inria-00509054v1

	On the confluence of lambda-calculus with conditional rewriting Frédéric Blanqui , Claude Kirchner , Colin Riba Foundations of Software Science and Computation Structures, Mar 2006, Vienne, Austria. ⟨10.1007/11690634_26⟩ Communication dans un congrès inria-00000729v2