Strong normalization in core type theory

zbMATH Open1505.03033MaRDI QIDQ5149155FDOQ5149155

Authors: David Ripley 

Publication date: 6 February 2021

Recommendations

• Strong normalization from weak normalization in typed \(\lambda\)-calculi
• Strong normalization in type systems: A model theoretical approach
• scientific article; zbMATH DE number 512779
• Short Proofs of Strong Normalization
• Standard normalization for infinite typed terms

Mathematics Subject Classification ID

Type theory (03B38)

Cited In (10)

• Strong normalization for typed terms with surjective pairing
• On reduction and normalization in the computational core
• A new type assignment for strongly normalizable terms
• Strong normalization with singleton types
• Strong normalization from weak normalization in typed \(\lambda\)-calculi
• Core Type Theory
• On the Logical Strength of Confluence and Normalisation for Cyclic Proofs.
• Title not available (Why is that?)
• Strong normalizability of the non-deterministic catch/throw calculi
• Title not available (Why is that?)

This page was built for publication: Strong normalization in core type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5149155)