Pages that link to "Item:Q3183523"
From MaRDI portal
The following pages link to Some Domain Theory and Denotational Semantics in Coq (Q3183523):
Displaying 8 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Strongly typed term representations in Coq (Q2392480) (← links)
- Partiality, Revisited (Q2988390) (← links)
- A Purely Definitional Universal Domain (Q3183534) (← links)
- A Certified Study of a Reversible Programming Language (Q4580228) (← links)
- The Scott model of PCF in univalent type theory (Q5055497) (← links)
- A model of PCF in guarded type theory (Q5971407) (← links)
- Apartness, sharp elements, and the Scott topology of domains (Q6190408) (← links)
