scientific article; zbMATH DE number 1500649

zbMATH Open0958.68043MaRDI QIDQ4501671FDOQ4501671

Authors: Jean-Jacques Lévy, Luc Maranget 

Publication date: 4 September 2000

Title of this publication is not available (Why is that?)

Recommendations

• Explicit substitutions
• A Theory of Explicit Substitutions with Safe and Full Composition
• Linear explicit substitutions
• scientific article; zbMATH DE number 1722651
• The Theory of Calculi with Explicit Substitutions Revisited

zbMATH Keywords

\(\lambda\)-calculustheory of substitution in logical systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (22)

• Explicit substitutions
• Linear explicit substitutions
• Title not available (Why is that?)
• Lazy variable-renumbering makes substitution cheap
• The spirit of node replication
• Title not available (Why is that?)
• A Fresh Look at the λ-Calculus
• The Theory of Calculi with Explicit Substitutions Revisited
• A Theory of Explicit Substitutions with Safe and Full Composition
• Node Replication: Theory And Practice
• Normalization by Evaluation for Typed Weak lambda-Reduction
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal languages defined by uniform substitutions
• Eta-conversion for the languages of explicit substitutions
• Title not available (Why is that?)
• Resource operators for \(\lambda\)-calculus
• Separating Sessions Smoothly
• Dependent types and explicit substitutions: A meta-theoretical development
• Title not available (Why is that?)

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 Q4501671)