Pages that link to "Item:Q3824291"
From MaRDI portal
The following pages link to A relational formulation of the theory of types (Q3824291):
Displaying 10 items.
- When are different type-logical semantic definitions defining equivalent meanings? (Q439958) (← links)
- Relational interpretations of recursive types in an operational setting. (Q1854316) (← links)
- (Q2766808) (← links)
- A Computable Solution to Partee’s Temperature Puzzle (Q2964003) (← links)
- Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations (Q3006121) (← links)
- The Clausal Theory of Types (Q3184628) (← links)
- An Extension of the Formulas-as-Types Paradigm (Q4252864) (← links)
- (Q4281669) (← links)
- (Q4357062) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712432) (← links)