Pure Type Systems with de Bruijn Indices

DOI10.1093/COMJNL/45.2.187MaRDI QIDQ4542807zbMATH OpenOpenAlexFDO

Authors Fairouz Kamareddine, A. Ríos

Publication date 19 December 2002

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/1e33c77ba391f334cd77b73a140d63f5bc32f887

zbMATH Keywords

pure type systemstype theory

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2154395
• scientific article; zbMATH DE number 512787
• The structural theory of pure type systems
• An induction principle for pure type systems
• scientific article; zbMATH DE number 1499107
• Pure type systems with explicit substitutions
• Typing in pure type systems
• Pure type systems with explicit substitution
• Intersection type system with de Bruijn indices
• scientific article; zbMATH DE number 1342292

Cited in

(3)

• Reviewing the classical and the de Bruijn notation for -calculus and pure type systems
• scientific article; zbMATH DE number 2154395 (Why is no real title available?)
• Pure type systems with explicit substitutions

This page was built for publication: Pure Type Systems with de Bruijn Indices

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