scientific article; zbMATH DE number 1301737
From MaRDI portal
Publication:4246950
Recommendations
Cited in
(19)- Normalization results for typeable rewrite systems
- Normal proofs and their grammar
- scientific article; zbMATH DE number 2185650 (Why is no real title available?)
- A schematic proof of strong normalization for the system of the -cube
- Remarks on the equational theory of non-normalizing pure type systems
- Strong normalisation in two Pure Pattern Type Systems
- scientific article; zbMATH DE number 1231477 (Why is no real title available?)
- Expansion postponement for normalising pure type systems
- scientific article; zbMATH DE number 683355 (Why is no real title available?)
- Pure type systems with more liberal rules
- scientific article; zbMATH DE number 1499107 (Why is no real title available?)
- scientific article; zbMATH DE number 1555189 (Why is no real title available?)
- scientific article; zbMATH DE number 2163051 (Why is no real title available?)
- Remarks on the equational theory of non-normalizing pure type systems
- Strong normalization with non-structural subtyping
- (Head-)normalization of typeable rewrite systems
- The structural theory of pure type systems
- Weak normalization implies strong normalization in a class of non-dependent pure type systems
- Sharing proofs with predicative theories through universe-polymorphic elaboration
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 Q4246950)
