The following pages link to (Q3024832):
Displaying 7 items.
- Developing developments (Q1392147) (← links)
- Extending R (Q2810946) (← links)
- Multiproperty-Preserving Domain Extension Using Polynomial-Based Modes of Operation (Q2989808) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- On the power of simple diagrams (Q5055861) (← links)
- Programming Languages and Systems (Q5902370) (← links)
- Rewriting with extensional polymorphic \(\lambda \)-calculus (Q6560170) (← links)