Pages that link to "Item:Q1849854"
From MaRDI portal
The following pages link to Skew confluence and the lambda calculus with letrec (Q1849854):
Displaying 15 items.
- An imperative pure calculus (Q737089) (← links)
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- Lambda calculus with explicit recursion (Q1383145) (← links)
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- Computational soundness of a call by name calculus of recursively-scoped records (Q2873682) (← links)
- Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction (Q3520166) (← links)
- Safety of Nöcker's strictness analysis (Q3520168) (← links)
- A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case (Q3522027) (← links)
- Convergence in infinitary term graph rewriting systems is simple (Q4585010) (← links)
- (Q5076059) (← links)
- (Q5094133) (← links)
- (Q5101336) (← links)
- Call-by-name extensionality and confluence (Q5372008) (← links)
- A calculus of open modules: call-by-need strategy and confluence (Q5756978) (← links)
- Explicit cyclic substitutions (Q5881174) (← links)