The following pages link to Dependent Types at Work (Q5191088):
Displaying 7 items.
- Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types (Q2229149) (← links)
- Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics (Q2869900) (← links)
- A Brief Overview of Agda – A Functional Language with Dependent Types (Q3183520) (← links)
- Programming with ornaments (Q5372000) (← links)
- Higher-order games with dependent types (Q6049932) (← links)
