Computational expressivity of (circular) proofs with fixed points

Gianluca Curzi*, Anupam Das

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Filter
Active

Search results