scientific article; zbMATH DE number 1499107

zbMATH Open0964.03513MaRDI QIDQ4501161FDOQ4501161

Erik Poll, Paula Severi

Publication date: 3 September 2000

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

Recommendations

• The structural theory of pure type systems
• scientific article; zbMATH DE number 2185650
• Pure type systems with explicit substitution
• scientific article; zbMATH DE number 1301737
• Pure type systems with explicit substitutions

Mathematics Subject Classification ID

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

Cited In (22)

• Embeddability of ptykes
• An induction principle for pure type systems
• Title not available (Why is that?)
• Pure type systems with more liberal rules
• Pure type systems with explicit substitution
• On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations
• Title not available (Why is that?)
• Domain-free pure type systems
• Automath and Pure Type Systems
• De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
• Strong normalisation in two Pure Pattern Type Systems
• Higher-order subtyping
• Tactics and Parameters
• Pure Type Systems with de Bruijn Indices
• Title not available (Why is that?)
• Remarks on the equational theory of non-normalizing pure type systems
• Remarks on the equational theory of non-normalizing pure type systems
• ANF preserves dependent types up to extensional equality
• Title not available (Why is that?)
• Title not available (Why is that?)
• A prismoid framework for languages with resources
• Is sized typing for Coq practical?

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