2 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
Gianluca Curzi, Anupam Das
Cyclic and non-wellfounded proofs are now increasingly employed to establish metalogical results in a variety of settings, in particular for type systems with forms of (co)inductio…