5 papers:
FoSSaCS-2015-CloustonG #calculus- Sequent Calculus in the Topos of Trees (RC, RG), pp. 133–147.
LICS-2011-BirkedalMSS- First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LB, REM, JS, KS), pp. 55–64.
FME-2001-Airchinnigh #towards- Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (MMaA), pp. 396–418.
CSL-1998-Simpson- Computational Adequacy in an Elementary Topos (AKS), pp. 323–342.
ICRE-1993-PloschRW #automation #named #prototype- TOPOS: A Prototyping-Oriented Open CASE System (RP, HR, RW), pp. 209–225.
