The following pages link to (Q4704206):
Displaying 6 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- On equal \(\mu \)-terms (Q549186) (← links)
- Galois Theory of Algorithms (Q3299851) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)
- Inductive-data-type systems (Q5958292) (← links)
- Intensional harmony as isomorphism (Q6612873) (← links)