Proof Systems and Programming

 

Proof systems and Programming is a research group within project Algebra, Logic, and Computation of Center of Mathematics of University of Minho.

 

Research Interests

Members

Publications

Projects

Events

PhD Opportunities                                                 

Contacts

 

 

 

Research interests

 

Structural proof theory, Lambda-calculus, Curry-Howard correspondence, Proof search, Type theory

 

Members

 

·        José Espírito Santo

·        Luís Pinto

 

For a foto (as of 2003) click here.

 

Publications

 

 

 

Projects

 

  • TYPES (2004 - 2008)
  • APPSEM II (2003 - 2006)
  • EUTYPES (2016 - )

 

Events

·        Days in Logic 2004

·        Days in Logic 2014

 

 

 

PhD Opportunities

 

For PhD opportunities, contact the members of the group.

 

Contacts

 

jes@math.uminho.pt

luis@math.uminho.pt