MiniAgda
From MaRDI portal
Software:32995
swMATH21183MaRDI QIDQ32995FDOQ32995
Author name not available (Why is that?)
Cited In (10)
- Friends with Benefits
- Size-based termination of higher-order rewriting
- Interactive programming in Agda – Objects and graphical user interfaces
- POPLMark reloaded: Mechanizing proofs by logical relations
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- Unifiers as equivalences: proof-relevant unification of dependently typed data
- Well-founded recursion with copatterns and sized types
- 2-Dimensional Directed Type Theory
- Monotone recursive types and recursive data representations in Cedille
- Flag-based big-step semantics
This page was built for software: MiniAgda
