The following pages link to (Q4939621):
Displaying 9 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Modular Dependent Induction in Coq, Mendler-Style (Q2829276) (← links)
- Inductive Type Schemas as Functors (Q3434680) (← links)
- (Q5014449) (← links)
- (Q5020623) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)