7 citations · 15 across the 11 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 3 cited
An Introduction to the Clocked Lambda Calculus
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop +1
We give a brief introduction to the clocked lambda calculus, an extension of the classical lambda calculus with a unary symbol tau used to witness the beta-steps. In contrast to th…
cs.LO2014
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
Joerg Endrullis, Clemens Grabmayer, Dimitri Hendriks +2
We present some contributions to the theory of infinitary rewriting for weakly orthogonal term rewrite systems, in which critical pairs may occur provided they are trivial. We show…