Pages that link to "Item:Q5170811"
From MaRDI portal
The following pages link to A Model of Countable Nondeterminism in Guarded Type Theory (Q5170811):
Displaying 8 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- (Q4580326) (← links)
- Denotational semantics of recursive types in synthetic guarded domain theory (Q4623133) (← links)
- (Q4993353) (← links)
- Denotational semantics for guarded dependent type theory (Q5139284) (← links)
- (Q5141620) (← links)
- A model of PCF in guarded type theory (Q5971407) (← links)
