Proof relevant corecursive resolution
- Peng Fu (Lead / Corresponding author)
- , Ekaterina Komendantskaya
- , Tom Schrijvers
- , Andrew Pond
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
20
Link opens in a new tab
Citations
(Scopus)