Cyclic Implicit Complexity

Gianluca Curzi, Anupam Das

Computer Science

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

1 results

Finished
Structure vs. Invariants in Proofs (StrIP)
Das, A. (Principal Investigator)
Medical Research Council
1/05/20 → 31/07/24
Project: Research Councils