The following pages link to Call-by-Value -calculus and LJQ (Q5441124):
Displayed 7 items.
- A short proof that adding some permutation rules to \(\beta \) preserves SN (Q631758) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- Open Call-by-Value (Q3179293) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- Monadic translation of classical sequent calculus (Q5410235) (← links)
- Proof Checking and Logic Programming (Q5743582) (← links)