Pages that link to "Item:Q2875233"
From MaRDI portal
The following pages link to Transporting functions across ornaments (Q2875233):
Displaying 4 items.
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- Programming with ornaments (Q5372000) (← links)
- Ornaments for Proof Reuse in Coq (Q5875438) (← links)
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic (Q6060672) (← links)