Pages that link to "Item:Q3523179"
From MaRDI portal
The following pages link to Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF (Q3523179):
Displayed 5 items.
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Term-generic logic (Q2339466) (← links)
- Explicit Contexts in LF (Extended Abstract) (Q2804940) (← links)
- Programming Inductive Proofs (Q3058448) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)