The following pages link to (Q3749213):
Displaying 6 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Applications of methods of proof theory in category theory. (Q2744122) (← links)
- Cartesian closed 2-categories and permutation equivalence in higher-order rewriting (Q2846582) (← links)
- Correct Looping Arrows from Cyclic Terms (Q2900260) (← links)
- A STUDY ON THE CARTESIAN CLOSED CATEGORY POSM (Q5016316) (← links)
- Subtractive logic (Q5940919) (← links)