1 citations · 1 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2018
Strict Ideal Completions of the Lambda Calculus
Patrick Bahr
The infinitary lambda calculi pioneered by Kennaway et al. extend the basic lambda calculus by metric completion to infinite terms and reductions. Depending on the chosen metric, t…
cs.LO2013★ 1 cited
Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)
Patrick Bahr
In this extended abstract, we present a simple approach to convergence on term graphs that allows us to unify term graph rewriting and infinitary term rewriting. This approach is b…
cs.LO2011
Infinitary Term Graph Rewriting
Patrick Bahr
Term graph rewriting provides a formalism for implementing term rewriting in an efficient manner by avoiding duplication. Infinitary term rewriting has been introduced to study inf…