Pages that link to "Item:Q3166222"
From MaRDI portal
The following pages link to First steps in synthetic guarded domain theory: step-indexing in the topos of trees (Q3166222):
Displaying 39 items.
- Formally verifying exceptions for low-level code with separation logic (Q1683698) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- On models of higher-order separation logic (Q2130583) (← links)
- Adjoint reactive GUI programming (Q2233414) (← links)
- Temporal refinements for guarded recursive types (Q2233479) (← links)
- Guarded cubical type theory (Q2319985) (← links)
- Time warps, from algebra to algorithms (Q2695363) (← links)
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498) (← links)
- Guarded Dependent Type Theory with Coinductive Types (Q2811330) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- A Light Modality for Recursion (Q2988388) (← links)
- Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming (Q3178285) (← links)
- (Q4580326) (← links)
- Denotational semantics of recursive types in synthetic guarded domain theory (Q4623133) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- (Q4993353) (← links)
- (Q5089035) (← links)
- (Q5094146) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- (Q5119390) (← links)
- Denotational semantics for guarded dependent type theory (Q5139284) (← links)
- (Q5141620) (← links)
- (Q5155672) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)
- A model of guarded recursion with clock synchronisation (Q5971393) (← links)
- A model of PCF in guarded type theory (Q5971407) (← links)
- (Q6068934) (← links)
- Modal FRP for all: Functional reactive programming without space leaks in Haskell (Q6099198) (← links)
- Deciding Equations in the Time Warp Algebra (Q6151556) (← links)
- What should a generic object be? (Q6174093) (← links)
- Transpension: the right adjoint to the Pi-type (Q6563063) (← links)
- Greatest HITs: higher inductive types in coinductive definitions via induction under clocks (Q6649477) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)
- Two guarded recursive powerdomains for applicative simulation (Q6653758) (← links)
