scientific article; zbMATH DE number 1301737

zbMATH Open0927.03031MaRDI QIDQ4246950FDOQ4246950

Authors: Paul-André Melliès, Benjamin Werner 

Publication date: 13 December 1999

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

Recommendations

• scientific article; zbMATH DE number 1499107
• scientific article; zbMATH DE number 2163051
• The structural theory of pure type systems
• Strong normalisation in two Pure Pattern Type Systems
• A schematic proof of strong normalization for the system of the \(\lambda\)-cube

zbMATH Keywords

lambda calculusstrong normalisationpure type systems

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Cited In (17)

• Expansion postponement for normalising pure type systems
• Title not available (Why is that?)
• The structural theory of pure type systems
• A schematic proof of strong normalization for the system of the \(\lambda\)-cube
• Title not available (Why is that?)
• Pure type systems with more liberal rules
• (Head-)normalization of typeable rewrite systems
• Strong normalisation in two Pure Pattern Type Systems
• Sharing proofs with predicative theories through universe-polymorphic elaboration
• 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
• Title not available (Why is that?)
• Strong normalization with non-structural subtyping
• Weak normalization implies strong normalization in a class of non-dependent pure type systems
• Title not available (Why is that?)
• Normalization results for typeable rewrite systems

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)