LogComp at IST

(LOGic and COMPutation)

A project of the Logic and Computation Group.

Participation in the PRAXIS XXI Project 2/2.1/TIT/1658/95 LogComp coordinated by JosÚ Manuel Valenša (Universidade do Minho).

The project is aimed at the methodological and operational integration of Type Theory with computational paradigms rooted on Categorical and/or Logical views of Information Systems, namely the integration (conceptual and implementational) of Proof Assistant Systems like COQ with Symbolic Computational Systems like GNOME or CAMILA.

The IST group is mainly working on:

Some relevant papers

Last update: January 26, 1999.