Claude Kirchner
2
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 2
- 1
- 1
|
On the confluence of lambda-calculus with conditional rewritingTheoretical 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 rewritingFoundations of Software Science and Computation Structures, Mar 2006, Vienne, Austria. ⟨10.1007/11690634_26⟩
Communication dans un congrès
inria-00000729v2
|