Infinitary lambda calculus
From MaRDI portal
Recommendations
Cites work
- 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?)
- Full abstraction in the lazy lambda calculus
- 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
(56)- From Böhm's theorem to observational equivalences: an informal account
- Coinductive big-step operational semantics
- scientific article; zbMATH DE number 7559299 (Why is no real title available?)
- scientific article; zbMATH DE number 7089070 (Why is no real title available?)
- Types for Hereditary Head Normalizing Terms
- scientific article; zbMATH DE number 2090071 (Why is no real title available?)
- Adapting innocent game models for the Böhm tree \(\lambda\)-theory
- Substitution in non-wellfounded syntax with variable binding
- Infinitary lambda calculi and böhm models
- Theoretical Pearls:Representing ‘undefined’ in lambda calculus
- Böhm Reduction in Infinitary Term Graph Rewriting Systems
- Infinitary combinatory reduction systems
- The Intensional Lambda Calculus
- Limiting partial combinatory algebras
- Productivity of stream definitions
- Cost Automata, Safe Schemes, and Downward Closures
- scientific article; zbMATH DE number 873325 (Why is no real title available?)
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Infinitary affine proofs
- The infinitary lambda calculus of the infinite eta Böhm trees
- scientific article; zbMATH DE number 919545 (Why is no real title available?)
- Confluence of the coinductive \(\lambda\)-calculus
- Intersection types for \(\lambda\)-trees
- Completeness of transfinite evaluation in an extension of the lambda calculus
- Partial order infinitary term rewriting and Böhm trees
- Infinite \(\lambda\)-calculus and types
- Innocent game models of untyped \(\lambda\)-calculus
- Lambda calculus with explicit recursion
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
- Infinitary lambda calculus
- Strict ideal completions of the lambda calculus
- Completeness and Herbrand theorems for nominal logic
- Applications of infinitary lambda calculus
- scientific article; zbMATH DE number 7168147 (Why is no real title available?)
- Infinitary lambda calculus and discrimination of Berarducci trees.
- On the algebraic models of lambda calculus
- scientific article; zbMATH DE number 7226002 (Why is no real title available?)
- scientific article; zbMATH DE number 759438 (Why is no real title available?)
- On modularity in infinitary term rewriting
- Skew confluence and the lambda calculus with letrec
- Counterexamples in infinitary rewriting with non-fully-extended rules
- Highlights in infinitary rewriting and lambda calculus
- Term graph rewriting
- Encoding many-valued logic in $\lambda$-calculus
- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
- Jumbo λ-Calculus
- Non-linearity as the metric completion of linearity
- Perpetuality in a named lambda calculus with explicit substitutions
- Rewriting Techniques and Applications
- Clocked lambda calculus
- On Normalisation of Infinitary Combinatory Reduction Systems
- Comparing Böhm-Like Trees
- On the complexity of stream equality
- Descendants and origins in term rewriting.
- Polynomial time over the reals with parsimony
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)
