scientific article; zbMATH DE number 1499107
From MaRDI portal
Publication:4501161
Recommendations
Cited in
(29)- On -conversion in the -cube and the combination with abbreviations
- Higher-order subtyping
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
- Pure type systems with explicit substitution
- scientific article; zbMATH DE number 2185650 (Why is no real title available?)
- scientific article; zbMATH DE number 2185711 (Why is no real title available?)
- scientific article; zbMATH DE number 2086242 (Why is no real title available?)
- Remarks on the equational theory of non-normalizing pure type systems
- Strong normalisation in two Pure Pattern Type Systems
- Embeddability of ptykes
- scientific article; zbMATH DE number 1301737 (Why is no real title available?)
- scientific article; zbMATH DE number 1303733 (Why is no real title available?)
- scientific article; zbMATH DE number 1342216 (Why is no real title available?)
- Pure type systems with more liberal rules
- scientific article; zbMATH DE number 1479610 (Why is no real title available?)
- Pure Type Systems with de Bruijn Indices
- scientific article; zbMATH DE number 2154395 (Why is no real title available?)
- Domain-free pure type systems
- Remarks on the equational theory of non-normalizing pure type systems
- Automath and Pure Type Systems
- Tactics and parameters
- ANF preserves dependent types up to extensional equality
- The structural theory of pure type systems
- Pure type systems with explicit substitutions
- An induction principle for pure type systems
- Is sized typing for Coq practical?
- A prismoid framework for languages with resources
- Pure type systems without explicit contexts
- Intersection types via finite-set declarations
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)
