Pages that link to "Item:Q1704599"
From MaRDI portal
The following pages link to A model of guarded recursion via generalised equilogical spaces (Q1704599):
Displaying 6 items.
- Local local reasoning: a BI-hyperdoctrine for full ground store (Q2200846) (← links)
- Guarded cubical type theory (Q2319985) (← links)
- (Q2767089) (← links)
- Computational Space Efficiency and Minimal Model Generation for Guarded Formulae (Q2996155) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- Codifying guarded definitions with recursive schemes (Q6083895) (← links)