Label-selective -calculus syntax and confluence
From MaRDI portal
Label-selective \(\lambda\)-calculus syntax and confluence
Recommendations
- scientific article; zbMATH DE number 1354150
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
- The permutative \(\lambda \)-calculus
- The λ-calculus with constructors: Syntax, confluence and separation
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
Cites work
- scientific article; zbMATH DE number 4048997 (Why is no real title available?)
- scientific article; zbMATH DE number 3735770 (Why is no real title available?)
- scientific article; zbMATH DE number 46981 (Why is no real title available?)
- scientific article; zbMATH DE number 177812 (Why is no real title available?)
- scientific article; zbMATH DE number 1354150 (Why is no real title available?)
- scientific article; zbMATH DE number 1398007 (Why is no real title available?)
- scientific article; zbMATH DE number 3400430 (Why is no real title available?)
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Explicit substitutions
- The Mechanical Evaluation of Expressions
- The transformation calculus
- Towards a meaning of life
Cited in
(5)- Functional pearl: the distributive \(\lambda\)-calculus
- scientific article; zbMATH DE number 1490006 (Why is no real title available?)
- scientific article; zbMATH DE number 18638 (Why is no real title available?)
- Skew confluence and the lambda calculus with letrec
- The λ-calculus with constructors: Syntax, confluence and separation
This page was built for publication: Label-selective \(\lambda\)-calculus syntax and confluence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1350342)