Speaker
Giacomo Barlucchi
University of Gothenburg
Talks at this conference:
| Fri, 14:40 |
Extracting computational content from cyclic proofs using higher order recursion schemes
Contributed |
Speaker
| Fri, 14:40 |
Extracting computational content from cyclic proofs using higher order recursion schemes
Contributed |