The following pages link to MiniAgda (Q32995):
Displaying 10 items.
- Flag-based big-step semantics (Q516041) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- Unifiers as equivalences: proof-relevant unification of dependently typed data (Q2985776) (← links)
- Friends with Benefits (Q2988636) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Monotone recursive types and recursive data representations in Cedille (Q5076393) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Well-founded recursion with copatterns and sized types (Q5371960) (← links)
- Interactive programming in Agda – Objects and graphical user interfaces (Q5372002) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
