![](https://media.springernature.com/w90/springer-static/cover/journal/10817/64/5.jpg?as=webp)
Volume 64, Issue 5
June 2020Special Issue: Selected Extended Papers from ITP 2018
- Issue Editors:
-
- Jeremy Avigad,
- Assia Mahboubi
7 articles in this issue
Special Issue: Selected Extended Papers from ITP 2018