Pages that link to "Item:Q692193"

The following pages link to A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions (Q692193):

Displaying 3 items.

• Constructive belief reports (Q514084) (← links)
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
• Meaning and computing: two approaches to computable propositions (Q2148782) (← links)