Pages that link to "Item:Q1575873"
From MaRDI portal
The following pages link to Reversible, irreversible and optimal \(\lambda\)-machines (Q1575873):
Displayed 21 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)
- 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)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- (Q5092325) (← links)
- (Q5092412) (← links)
- New Developments in Environment Machines (Q5170161) (← links)