6 citations · 15 across the 9 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.LO2015★ 2 cited
On the equivalence of different presentations of Turner's bracket abstraction algorithm
Łukasz Czajka
Turner's bracket abstraction algorithm is perhaps the most well-known improvement on simple bracket abstraction algorithms. It is also one of the most studied bracket abstraction a…
cs.LO2015★ 2 cited
Coinduction: an elementary approach
Łukasz Czajka
The main aim of this paper is to promote a certain style of doing coinductive proofs, similar to inductive proofs as commonly done by mathematicians. For this purpose, we provide a…