Pages that link to "Item:Q918956"
From MaRDI portal
The following pages link to Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL (Q918956):
Displaying 16 items.
- An abstract framework for environment machines (Q804281) (← links)
- Church-Rosser theorem for a rewriting system on categorical combinators (Q1119562) (← links)
- A notation for lambda terms. A generalization of environments (Q1129257) (← links)
- Eta-conversion for the languages of explicit substitutions (Q1335136) (← links)
- The spirit of node replication (Q2233421) (← links)
- On explicit substitution with names (Q2392486) (← links)
- λν, a calculus of explicit substitutions which preserves strong normalisation (Q3125228) (← links)
- On explicit substitutions and names (extended abstract) (Q4571957) (← links)
- A categorical understanding of environment machines (Q4763978) (← links)
- <i>Theoretical Pearl</i> Yet yet a counterexample for λ+SP (Q4764268) (← links)
- A confluent reduction for the λ-calculus with surjective pairing and terminal object (Q4895554) (← links)
- Explicit substitutions (Q4939690) (← links)
- On confluence for weakly normalizing systems (Q5055761) (← links)
- Explicit substitutions with de bruijn's levels (Q5055838) (← links)
- Strong normalization of substitutions (Q5096832) (← links)
- Pure type systems with explicit substitutions (Q5371956) (← links)
