The following pages link to Maria C. F. Ferreira (Q1290509):
Displaying 4 items.
- \(\lambda\)-calculi with explicit substitutions preserving strong normalization (Q1290510) (← links)
- (Q1912705) (redirect page) (← links)
- Total termination of term rewriting (Q1912706) (← links)
- λ-calculi with explicit substitutions and composition which preserve β-strong normalization (Q2956728) (← links)