Perpetuality in a named lambda calculus with explicit substitutions

DOI10.1017/S0960129500003248MaRDI QIDQ2713353zbMATH OpenOpenAlexFDO

Authors Eduardo Bonelli

Publication date 7 May 2001

Published in MSCS. Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129500003248

zbMATH Keywords

polymorphic lambda calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Perpetual reductions in -calculus
• Infinitary lambda calculus
• A -calculus with explicit weakening and explicit substitution
• Finitary corecursion for the infinitary lambda calculus
• Simultaneous substitution in the typed lambda calculus
• A Nominal Axiomatization of the Lambda Calculus
• Semantical analysis of perpetual strategies in -calculus
• The permutative -calculus
• scientific article; zbMATH DE number 2185670
• The Expansion Problem in Lambda Calculi with Explicit Substitution

Cited in

(7)

• Semantical analysis of perpetual strategies in -calculus
• Perpetual reductions in -calculus
• Normalisation for higher-order calculi with explicit substitutions
• Conservation and uniform normalization in lambda calculi with erasing reductions
• Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions
• scientific article; zbMATH DE number 1088031 (Why is no real title available?)
• Resource operators for \(\lambda\)-calculus

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Perpetuality in a named lambda calculus with explicit substitutions

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