scientific article; zbMATH DE number 1088036

MaRDI QIDQ4364384zbMATH OpenFDO

Authors Zena M. Ariola, Stefan Blom

Publication date 1 April 1998

zbMATH Keywords

axiomatizationcall-by-value variantconfluencecyclic lambda calculuscyclic lambda-graphsextension of lambda calculus with the \texttt{letrec} constructinfinite normal formLévy-Longo treerewriting under lambda-abstractions and on cycles

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• Skew confluence and the lambda calculus with letrec
• scientific article; zbMATH DE number 2185716
• A rewriting calculus for cyclic higher-order term graphs
• Lambda calculus with explicit recursion

Cited in

(19)

• Lambda calculus with explicit recursion
• Some acyclic relations in the lambda algebra
• Skew confluence and the lambda calculus with letrec
• Maximal sharing in the lambda calculus with letrec
• Cyclic Involutive Distributive Full Lambek Calculus is Decidable
• scientific article; zbMATH DE number 2185716 (Why is no real title available?)
• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
• Term graph representations for cyclic \(\lambda\)-terms
• Term-Graph Rewriting Via Explicit Paths
• Initial Algebra Semantics for Cyclic Sharing Structures
• Cyclic datatypes modulo bisimulation based on second-order algebraic theories
• Semantics of value recursion for Monadic Input/Output
• scientific article; zbMATH DE number 1393359 (Why is no real title available?)
• Parallel independence in attributed graph rewriting
• Deciding inclusion of set constants over infinite non-strict data structures
• Explicit cyclic substitutions
• A logical framework with higher-order rational (circular) terms
• Formal verifications of call-by-need and call-by-name evaluations with mutual recursion
• A saturation-based unification algorithm for higher-order rational patterns

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4364384)