(2012). First steps in synthetic guarded domain theory: Step-indexing in the topos of trees. Logical Methods in Computer Science.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
"First Steps in Synthetic Guarded Domain Theory: Step-indexing in the Topos of Trees."
Logical Methods in Computer Science 2012.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
"First Steps in Synthetic Guarded Domain Theory: Step-indexing in the Topos of Trees."
Logical Methods in Computer Science, 2012.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.