Pages that link to "Item:Q1349901"
From MaRDI portal
The following pages link to Combining algebraic rewriting, extensional lambda calculi, and fixpoints (Q1349901):
Displaying 10 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Abstract data type systems (Q1391729) (← links)
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247) (← links)
- Logical foundations for hybrid type-logical grammars (Q2135950) (← links)
- The Simple Type Theory of Normalisation by Evaluation (Q2841227) (← links)
- An insertion operator preserving infinite reduction sequences (Q3520149) (← links)
- On modular properties of higher order extensional lambda calculi (Q4571956) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- On the power of simple diagrams (Q5055861) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)
