The underdetermination of typings

DOI10.1023/A:1022670409809zbMATH Open1024.03518OpenAlexW1578821080MaRDI QIDQ1405827

Jan Westerhoff

Publication date: 7 September 2003

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022670409809

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Related Items (10)

Title not available (Why is that?) ⋮ Mathematics of Program Construction ⋮ Threshold voting leads to type-revelation ⋮ Typing Weak MSOL Properties ⋮ On the limiting proportion of types ⋮ Title not available (Why is that?) ⋮ Undecidability of equality for codata types ⋮ Simply-typed underdeterminism ⋮ Type inhabitation of atomic polymorphism is undecidable ⋮ THE UNDECIDABILITY OF TYPE RELATED PROBLEMS IN TYPE -FREE STYLE SYSTEM F

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Simply-typed underdeterminism 👍 👎
• The search for trivial types 👍 👎
• In the Search of a Naive Type Theory 👍 👎
• A Theory of Ambiguous Types and Its Axiomatizations 👍 👎
• Type sharing constraints and undecidability 👍 👎
• THE UNDECIDABILITY OF TYPE RELATED PROBLEMS IN TYPE -FREE STYLE SYSTEM F 👍 👎

This page was built for publication: The underdetermination of typings

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