Pages that link to "Item:Q1575873"
From MaRDI portal
The following pages link to Reversible, irreversible and optimal \(\lambda\)-machines (Q1575873):
Displaying 26 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
- A syntactic congruence for languages of birooted trees (Q906981) (← links)
- Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386) (← links)
- Evaluating lambda terms with traversals (Q2007730) (← links)
- The graphical Krivine machine (Q2464713) (← links)
- Explaining the lazy Krivine machine using explicit substitution and addresses (Q2464715) (← links)
- The next 700 Krivine machines (Q2464721) (← links)
- A call-by-name lambda-calculus machine (Q2464723) (← links)
- A structural approach to reversible computation (Q2581367) (← links)
- A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine (Q2864217) (← links)
- (Q4222826) (← links)
- On the dynamics of sharing graphs (Q4571958) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- (Q5014806) (← links)
- δο!∈=1 Optimizing optimal λ-calculus implementations (Q5055822) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- (Q5092325) (← links)
- (Q5092412) (← links)
- New Developments in Environment Machines (Q5170161) (← links)
- The involutions-as-principal types/application-as-unification Analogy (Q5222959) (← links)
