Similar Items: Foundations of Online Structure Theory II: The Operator Approach
- Categorical structures for type theory in univalent foundations
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- Complete Call-by-Value Calculi of Control Operators II: Strong Termination
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- A System of Interaction and Structure II: The Need for Deep Inference
- An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)