Pages that link to "Item:Q639680"
From MaRDI portal
The following pages link to Quick cut-elimination for strictly positive cuts (Q639680):
Displaying 4 items.
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- Proof theory of weak compactness (Q2853981) (← links)
- Intuitionistic Fixed Point Theories for Strictly Positive Operators (Q4531084) (← links)
- Revisiting the conservativity of fixpoints over intuitionistic arithmetic (Q6178470) (← links)