Pages that link to "Item:Q3507467"
From MaRDI portal
The following pages link to Union of Reducibility Candidates for Orthogonal Constructor Rewriting (Q3507467):
Displaying 4 items.
- Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms (Q2000674) (← links)
- On the Values of Reducibility Candidates (Q3637200) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
