Infinitary lambda calculus
From MaRDI portal
Recommendations
Cites work
- Full abstraction in the lazy lambda calculus
- scientific article; zbMATH DE number 956467 (Why is no real title available?)
- scientific article; zbMATH DE number 937379 (Why is no real title available?)
- scientific article; zbMATH DE number 234028 (Why is no real title available?)
- Infinitary lambda calculus
- Sequential evaluation strategies for parallel-or and related reduction systems
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Transfinite reductions in orthogonal term rewriting systems
Cited in
(62)- Coinductive big-step operational semantics
- Applications of infinitary lambda calculus
- Infinite \(\lambda\)-calculus and types
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Lambda calculus with explicit recursion
- Infinitary lambda calculus
- On the algebraic models of lambda calculus
- Skew confluence and the lambda calculus with letrec
- Descendants and origins in term rewriting.
- Infinitary lambda calculus and discrimination of Berarducci trees.
- Adapting innocent game models for the Böhm tree \(\lambda\)-theory
- Confluence of the coinductive \(\lambda\)-calculus
- Limiting partial combinatory algebras
- Highlights in infinitary rewriting and lambda calculus
- Counterexamples in infinitary rewriting with non-fully-extended rules
- Polynomial time over the reals with parsimony
- On modularity in infinitary term rewriting
- Perpetuality in a named lambda calculus with explicit substitutions
- On the complexity of stream equality
- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
- scientific article; zbMATH DE number 7226002 (Why is no real title available?)
- On Normalisation of Infinitary Combinatory Reduction Systems
- Jumbo λ-Calculus
- Comparing Böhm-Like Trees
- Completeness of transfinite evaluation in an extension of the lambda calculus
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
- Term graph rewriting
- Theoretical Pearls:Representing ‘undefined’ in lambda calculus
- scientific article; zbMATH DE number 2090071 (Why is no real title available?)
- scientific article; zbMATH DE number 759438 (Why is no real title available?)
- scientific article; zbMATH DE number 873325 (Why is no real title available?)
- scientific article; zbMATH DE number 919545 (Why is no real title available?)
- From Böhm's theorem to observational equivalences: an informal account
- Strict ideal completions of the lambda calculus
- Encoding many-valued logic in \lambda-calculus
- Infinitary lambda calculi and böhm models
- Sequence types for hereditary permutators
- Böhm Reduction in Infinitary Term Graph Rewriting Systems
- scientific article; zbMATH DE number 7168147 (Why is no real title available?)
- scientific article; zbMATH DE number 7089070 (Why is no real title available?)
- Infinitary affine proofs
- The infinitary lambda calculus of the infinite eta Böhm trees
- Clocked lambda calculus
- Non-linearity as the metric completion of linearity
- Partial order infinitary term rewriting and Böhm trees
- The Intensional Lambda Calculus
- Types for Hereditary Head Normalizing Terms
- Completeness and Herbrand theorems for nominal logic
- Infinitary combinatory reduction systems
- Rewriting Techniques and Applications
- Intersection types for -trees
- Innocent game models of untyped -calculus
- Cost Automata, Safe Schemes, and Downward Closures
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Cost automata, safe schemes, and downward closures
- Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series
- Topological closure of formal powers series ideals and application to topological rewriting theory
- Substitution in non-wellfounded syntax with variable binding
- Extensional Taylor expansion
- The lambda calculus is quantifiable
- How to play the accordion: uniformity and the (non-)conservativity of the linear approximation of the -calculus
- Productivity of stream definitions
This page was built for publication: Infinitary lambda calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1392145)
