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.

For a foto (as of 2018) click here.

Publications

• Chronologically
• Thematically

Projects

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

Events

· Days in Logic 2004

· Days in Logic 2014

· TYPES 2018

PhD Opportunities

For PhD opportunities, contact the members of the group.

Contacts

jes@math.uminho.pt

luis@math.uminho.pt