cslogo.jpg (15052 bytes)

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


ORCID 0000-0001-5322-6060

Official Homepage https://www.swansea.ac.uk/staff/a.g.setzer/
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
Anton Setzer's SPARK Ada Main Page (Lab Sessions)

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, Computational Foundry, Swansea University Bay Campus, Fabian Way, Swansea, SA1 8EN UK

Computational Foundry, Computer Science Department, 4th floor, room 403
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, BibTex))
  • 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