Intersection type systems and explicit substitutions calculi

DOI10.1007/978-3-642-13824-9_19MaRDI QIDQ4931603zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine

Publication date 29 September 2010

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13824-9_19

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Explicit substitution calculi with de Bruijn indices and intersection type systems
• Intersection type system with de Bruijn indices
• Intersection types for explicit substitutions
• Bridging de Bruijn indices and variable names in explicit substitutions calculi
• Reductions, intersection types, and explicit substitutions

Cited in

(9)

• Explicit substitution calculi with de Bruijn indices and intersection type systems
• scientific article; zbMATH DE number 2185668 (Why is no real title available?)
• Principal Typings for Explicit Substitutions Calculi
• Pure type systems with explicit substitution
• scientific article; zbMATH DE number 1512611 (Why is no real title available?)
• Intersection types for explicit substitutions
• Intersection types for unbind and rebind
• scientific article; zbMATH DE number 1696608 (Why is no real title available?)
• Intersection type system with de Bruijn indices

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Intersection type systems and explicit substitutions calculi

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