16 citations · 24 across the 9 of their papers we have counts for
1 paper · 1 filter
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…