[TYPES] Types for Open Terms ?

[murdoch gabbay]

Dear Jaques,

You might like to glance at the following:

"Principal types for nominal theories"
http://gabbay.org.uk/papers.html#printn

"Curry-Howard for incomplete first-order logic derivations using
one-and-a-half level terms"
http://gabbay.org.uk/papers.html#curhif-jv

"Lambda-context calculus"
http://gabbay.org.uk/papers.html#lamcce

Murdoch Gabbay

On 13 October 2011 16:23, Jacques Carette <carette at mcmaster.ca> wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
>
> I have been looking to find relevant work on types for open terms, i.e.
> types for terms with free variables which are *not* in an environment.