48 citations · 174 across the 34 of their papers we have counts for
Showing 2021 · cs.PLShow all
2 papers · 2 filters
cs.PL2021
CycleQ: An Efficient Basis for Cyclic Equational Reasoning
Eddie Jones, C-. H. Luke Ong, Steven Ramsay
We propose a new cyclic proof system for automated, equational reasoning about the behaviour of pure functional programs. The key to the system is the way in which cyclic proof and…
cs.PL2021★ 1 cited
Supermartingales, Ranking Functions and Probabilistic Lambda Calculus
Andrew Kenyon-Roberts, Luke Ong
We introduce a method for proving almost sure termination in the context of lambda calculus with continuous random sampling and explicit recursion, based on ranking supermartingale…