typeful logic programming languages and categorical semantics/logic

10 Feb 2004

      Hello,

  can somebody point to the application/research of
categorical semantics/logic to typeful logic
programming languages?

Thank you, Bill Halchin

Galchin Vasili