categorical semantics

[Carl Pollard]

Dear colleagues,

Shalom Lappin and I have just completed a paper proposing a new
foundation for semantic theory, employimg neither worlds nor
situations, using as the semantic representation language (analog of
Montague's IL) a typed lambda calculus which is the internal language
of a topos freely generated over a graph of word meanings. The paper
is available from:

   ftp://ling.ohio-state.edu/~pub/pollard/hyp_sem.ps

Comments are most welcome.


Carl