| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| The Basic Picture: Structures for Constructive Topology | 978-0-19-923288-8 (0-19-923288-1) | 2016 | |
| Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 | 978-0-19-850127-5 (0-19-850127-7) | 1998 | Jan Smith |