cslogo.jpg (15052 bytes)

Anton Setzer, Dipl-math. (Munich), Dr. rer. nat. (Munich), docent (for mathematical logic, Uppsala)


ORCID 0000-0001-5322-6060

Administrative duties:
Coordinator MSc in Advanced Computer Science and MSc in Advanced Software Technology
General material related to Projects, Essays etc
Maintainer of links to logic-servers world wide
Further information on A. Setzer

Tel. :
International: +44 1792 513368
National: 01792 513368
International: +44 1792 295708
National: (01792) 295708
Email: Replace '_dot_' by '.' and '_at_' by '@' in 'a_dot_g_dot_setzer_at_swan_dot_ac_dot_uk'
Address: Dr. Anton Setzer, Dept. of Computer Science, Swansea University, Singleton Park, Swansea, SA2 8PP, UK

Talbot Building, Computer Science Department, 1st floor, room 952
(Enter Faraday building from the Mall. Go straight through the corridor, until you have reached the end of the corridor. There is a video conferencing room on the left. Turn right and follow the corridor which contains the computer science offices until you reach room 952)
ORCID: 0000-0001-5322-6060
Conference Organisation/
Programme Committee
British Logic Colloquium 2009
CSL 2009
Russell'08 - Proof theory meets Type Theory
PCC 2007
Computability in Europe, CiE 2006
Constructive Logic in Software Engineering, CLASE 2005 (ETAPS)

Further information on A. Setzer (research, other courses, links) can be found here
Research Areas:

Proof Theory, esp. of Martin-Löf Type Theory, Programming with Dependent Types, esp. Interaction and Induction-Recursion.
More on A. Setzer's Research
Chair person of the Swansea subsite of the TYPES project
EPSRC Grant EP/G033374/1: Theory and Applications of Induction Recursion
EPSRC Grant GR/S30450/01: Extension of Dependent Type Theory - Induction, Interaction, Universes
Talks given:

Slides of talks given
Lecture notes

Lecture Notes (pre 2016/17)
Articles from PhD students and RAs

Articles from PhD students and RAs
Rare Articles

Rare articles from others
Back to academic staff at the Dep. of Computer Science

Publications of Anton Setzer

(Reportform, theses etc see below, slides of talks see here)


Reports, Submissions, Electronic Proceedings




  • A. Setzer: Rules for the Pi_3-reflecting Universe, 1998. (postscript, pdf-file)
  • A. Setzer:Wheels, 8 pp, 1997. (postscript, pdf-file)
  • A. Setzer: An upper bound for the proof theoretical strength of Martin-Löf Type Theory with W-type and one Universe , 33pp, 1996. (postscript, pdf-file)
  • A. Setzer: Set theoretical proofs as type theoretical programs. 10pp. Draft. (postscript, pdf-file).
  • A. Setzer: A Model for a type theory with one Mahlo Universe, 10pp, 1996. (postscript, pdf-file,BibTeX-Entry)
  • A. Setzer: A type theory for iterated inductive definitions, 14pp. , 1994. (postscript, pdf-file, Bib-Entry)

    Lecture Notes

    University Home | Computer Science Home
    About the Department | Research | Teaching | Online Resources |  


  • Replace '_dot_' by '.' and '_at_' by '@' in 'a_dot_g_dot_setzer_at_swan_dot_ac_dot_uk'
    Last modified: Wed Oct 17 22:11:49 BST 2012