Non-Uniform Complexity via Non-Wellfounded Proofs.

Gianluca Curzi, Anupam Das

Browse the full CSL paper archive.