Term collections in {} and {}-calculi

DOI10.1016/J.ENTCS.2006.12.037MaRDI QIDQ2864209zbMATH OpenOpenAlexFDO

Authors Germain Faure

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.12.037

zbMATH Keywords

canonical setslambda-calculusparallel operatorrho-calculusterm collections

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• The -calculus in the -calculus
• scientific article; zbMATH DE number 1406806
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Confluence of the coinductive \(\lambda\)-calculus
• scientific article; zbMATH DE number 1808200
• Typed Lambda Calculi and Applications
• Infinite \(\lambda\)-calculus and types
• lambda!-calculus, Intersection Types, and Involutions
• Intuitionistic ϵ‐ and τ‐calculi
• On the representation of semigroups and other congruences in the lambda calculus

Cites work

• Canonical abstract syntax trees
• scientific article; zbMATH DE number 1722700 (Why is no real title available?)
• scientific article; zbMATH DE number 2163051 (Why is no real title available?)
• Interaction nets vs. the -calculus: introducing bigraphical nets
• Lambda-calculi for (strict) parallel functions
• Normalized rewriting: An alternative to rewriting modulo a set of equations
• Parallel reductions in \(\lambda\)-calculus
• Pure patterns type systems
• The differential lambda-calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The recognition of certain Hausdorff like measures
• Types for Proofs and Programs

Cited in

(2)

• A \(\rho\)-calculus of explicit constraint application
• A \(\rho\)-calculus of explicit constraint application

Describes a project that uses

Uses Software

• Maude
• ELAN

This page was built for publication: Term collections in {\(\lambda\)} and {\(\rho\)}-calculi

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