cslogo.jpg (15052 bytes)

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

Reader

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
Misc:
General material related to Projects, Essays etc
Software
Maintainer of links to logic-servers world wide
Further information on A. Setzer
Links
Anton Setzer's SPARK Ada Main Page (Lab Sessions)
Contact

Tel. :
International: +44 1792 513368
National: 01792 513368
Fax:
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
Visiting
Address:


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)
More
information:


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)

Theses

Reports, Submissions, Electronic Proceedings

Reviews

Abstracts

Drafts

  • 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