Reducibility Proofs in the λ-Calculus
From MaRDI portal
Publication:4903716
DOI10.3233/FI-2012-773zbMATH Open1277.03012OpenAlexW1548324986MaRDI QIDQ4903716FDOQ4903716
Authors: Fairouz Kamareddine, Vincent Rahli, J. B. Wells 
Publication date: 24 January 2013
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2012-773
Recommendations
- Reduction rules for intuitionistic \(\lambda\rho\)-calculus
- Publication:4945227
- Perpetual reductions in \(\lambda\)-calculus
- Refining reduction in the lambda calculus
- Term Rewriting and Applications
- The self-reduction in lambda calculus
- scientific article; zbMATH DE number 7084951
- scientific article; zbMATH DE number 1670575
- scientific article; zbMATH DE number 2134911
- Exact bounds for lengths of reductions in typed \(\lambda\)-calculus
Cited In (22)
- Title not available (Why is that?)
- Reduction and conversion strategies for the calculus of (co)inductive constructions. I
- Title not available (Why is that?)
- Does reductive proof theory have a viable rationale?
- Reductions for non-clausal theorem proving
- Title not available (Why is that?)
- Decidability of the restriction equational theory in the partial lambda calculus
- Title not available (Why is that?)
- An upper bound for reduction sequences in the typed \(\lambda\)-calculus
- Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction
- Title not available (Why is that?)
- On the Stability by Union of Reducibility Candidates
- Algebra and Coalgebra in Computer Science
- Formal SOS-Proofs for the Lambda-Calculus
- Theoretical PearlsEnumerators of lambda terms are reducing
- Refining reduction in the lambda calculus
- Reducibility: a ubiquitous method in lambda calculus with intersection types
- Title not available (Why is that?)
- Constructive proofs of the range property in lambda calculus
- Needed reduction and spine strategies for the lambda calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Reducibility Proofs in the λ-Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4903716)
