Pages that link to "Item:Q3426565"

The following pages link to Intensional models for the theory of types (Q3426565):

Displaying 23 items.

• Selectional restrictions, types and categories (Q280845) (← links)
• When are different type-logical semantic definitions defining equivalent meanings? (Q439958) (← links)
• Type-theoretic logic with an operational account of intensionality (Q514081) (← links)
• Representing model theory in a type-theoretical logical framework (Q654913) (← links)
• CERES in higher-order logic (Q716500) (← links)
• Type interaction models and the rule of six (Q868601) (← links)
• Intensional completeness in an extension of Gödel/Dummett logic (Q1868240) (← links)
• Quantified multimodal logics in simple type theory (Q1945702) (← links)
• Closed structure (Q2056214) (← links)
• A theory of necessities (Q2078981) (← links)
• Cut-elimination for quantified conditional logic (Q2363418) (← links)
• Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
• An intensional type theory: Motivation and cut-elimination (Q2732287) (← links)
• (Q2958550) (← links)
• A very modal model of a modern, major, general type system (Q3189790) (← links)
• (Q4247306) (← links)
• A Way of Making World Quantification Explicit (Q4823802) (← links)
• Models of intuitionistic TT and NF (Q4842637) (← links)
• Extensional and Intensional Semantic Universes (Q5145281) (← links)
• Dialectica models of type theory (Q5145350) (← links)
• MECHANIZING <i>PRINCIPIA LOGICO-METAPHYSICA</i> IN FUNCTIONAL TYPE-THEORY (Q5221294) (← links)
• Modeling abstract types in modules with open existential types (Q5261533) (← links)
• Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments (Q6618558) (← links)