The following pages link to (Q4681360):
Displaying 7 items.
- Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory (Q2503336) (← links)
- Continuous functions on final coalgebras (Q2805147) (← links)
- Polynomial Functors Constrained by Regular Expressions (Q2941172) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- The essence of ornaments (Q5372005) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)