Pages that link to "Item:Q3813789"
From MaRDI portal
The following pages link to A Theory of Ambiguous Types and Its Axiomatizations (Q3813789):
Displaying 8 items.
- Discussion on: ``On Aizerman's type problem for neutral type systems'' (Q397433) (← links)
- On specifications, subset types and interpretation of proposition in type theory (Q688736) (← links)
- The underdetermination of typings (Q1405827) (← links)
- A minimalistic many-valued theory of types (Q3133165) (← links)
- A generalization of Specker's theorem on typical ambiguity (Q3984422) (← links)
- THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE (Q4295242) (← links)
- Typical ambiguity and elementary equivalence (Q4304781) (← links)
- (Q4944852) (← links)