Pages that link to "Item:Q5408400"
From MaRDI portal
The following pages link to Combining proofs and programs in a dependently typed language (Q5408400):
Displaying 7 items.
- Fibrational modal type theory (Q1744413) (← links)
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- Implementing Cantor’s Paradise (Q3179294) (← links)
- Unified Syntax with Iso-types (Q3179296) (← links)
- LF+ in Coq for "fast and loose" reasoning (Q5210657) (← links)
- (Q6060675) (← links)
