scientific article; zbMATH DE number 1508928

zbMATH Open0946.68020MaRDI QIDQ4506392FDOQ4506392

Authors: Delia Kesner, Pablo E. Martínez-López 

Publication date: 18 September 2000

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/S99-02/S99-02.html

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

Recommendations

• scientific article; zbMATH DE number 1222417
• Explicit substitutions
• scientific article; zbMATH DE number 1500649
• Explicit substitutions and higher-order syntax
• Term Rewriting and Applications
• On explicit substitutions and names (extended abstract)
• Explicit substitutions and reducibility
• Substituting strict equivalents
• Higher-order substitutions

zbMATH Keywords

lambda calculussigma calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (4)

• On explicit substitutions and names (extended abstract)
• Title not available (Why is that?)
• Inter-deriving semantic artifacts for object-oriented programming
• On explicit substitution with names

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