scientific article; zbMATH DE number 1499107
From MaRDI portal
Publication:4501161
zbMATH Open0964.03513MaRDI QIDQ4501161FDOQ4501161
Publication date: 3 September 2000
Title of this publication is not available (Why is that?)
Recommendations
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)