WEAK EQUIVALENCES BETWEEN CATEGORIES OF MODELS OF TYPE THEORY SIMON CHO, CORY KNAPP, CLIVE NEWSTEAD, LIANG ZE WONG It is conjectured that intensional type theory is the internal language of higher categories, in a manner

Source URL: hott-uf.github.io

Superação do Formalismo Platónico Extensionalista pelas Lógicas Intensional e Modal Sérgio Fernandes (CFCUL)

Source URL: kairos.fc.ul.pt

The Intensional Transformation for Functional Languages with User-Defined Data Types 1 2 Georgios Fourtounis1,∗

Source URL: www.softlab.ntua.gr

Implementing Non-Strict Functional Languages with the Generalized Intensional Transformation Georgios Fourtounis National Technical University of Athens

Source URL: www.softlab.ntua.gr

The Generalized Intensional Transformation for Implementing Lazy Functional Languages? Georgios Fourtounis1 , Nikolaos Papaspyrou1 , and Panos Rondogiannis2 1 2

Source URL: www.softlab.ntua.gr

Resolving Scope Ambiguities of Determiner Phrases in Intensional Contexts with a CCG Sebastian Schuster Abstract. Janet Fodor argued in her dissertation that sentences with a quantificational determiner in an intensional

Source URL: nlp.stanford.edu

Intensional Transitive Verbs: I owe you a horse Florian Schwarz (Revised version, May 22, Introduction

Source URL: florianschwarz.net

• Linguistics
• Parts of speech
• Semantics
• Grammar
• Philosophy of language
• Verb
• Jrgen Moltmann
• Lexical semantics
• Transitive verb
• Intension
• Modal verb
• Copula

Simon Charlow, NYU De re anaphors. We motivate a binding theory for pronouns in intensional contexts with distributional facts about de re/de se ±anaphoric pronouns. We present new arguments that (a) de se readings are

Source URL: www.macsim.us

• Syntax
• Linguistics
• Grammar
• Semantics
• Modern English personal pronouns
• Personal pronouns
• Pronouns
• De se
• Binding
• Reflexive pronoun
• Anaphora
• Singular they

Microsoft Word - vita 2007.doc

Source URL: philosophy.ucsb.edu

• Philosophy
• Logic
• American philosophers
• Analytic philosophers
• Philosophical logic
• Guggenheim Fellows
• Philosophy of logic
• Saul Kripke
• David Kaplan
• C. Anthony Anderson
• Modal logic
• Intensional logic

Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

Source URL: events.cs.bham.ac.uk

• Set theory
• Principia Mathematica
• Science
• Extensionality
• Axiom of extensionality
• Intensional
• Intension
• Intuitionistic type theory
• Deductive lambda calculus