Pages that link to "Item:Q1322165"
From MaRDI portal
The following pages link to An equivalence between lambda- terms (Q1322165):
Displaying 29 items.
- Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
- A short proof that adding some permutation rules to \(\beta \) preserves SN (Q631758) (← links)
- A note on preservation of strong normalisation in the \(\lambda \)-calculus (Q631760) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009) (← links)
- Strong normalization through intersection types and memory (Q1744407) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case (Q1763159) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)
- Polarized proof-nets and \(\lambda \mu\)-calculus (Q1853586) (← links)
- Evaluating lambda terms with traversals (Q2007730) (← links)
- The bang calculus revisited (Q2039931) (← links)
- Classical By-Need (Q2802497) (← links)
- Intersection Types for the Resource Control Lambda Calculi (Q3105748) (← links)
- Open Call-by-Value (Q3179293) (← links)
- (Q3300796) (← links)
- An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form (Q3637192) (← links)
- Monadic Translation of Intuitionistic Sequent Calculus (Q3638248) (← links)
- (Q4222826) (← links)
- A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
- (Q5014809) (← links)
- (Q5076060) (← links)
- Head reduction and normalization in a call-by-value lambda-calculus (Q5240183) (← links)
- Effective longest and infinite reduction paths in untyped λ-calculi (Q5878916) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
- The bang calculus revisited (Q6116183) (← links)
