Pages that link to "Item:Q2331074"
From MaRDI portal
The following pages link to Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074):
Displaying 6 items.
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- (Q4888321) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Towards substructural property-based testing (Q6102253) (← links)