BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
step (2)
tree (2)
domain (1)
guard (1)
adequaci (1)

Stem topo$ (all stems)

5 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.