ask others

Anton Setzer

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/0001S18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/0001S18
Ulrich Berger, Anton Setzer:
Undecidability of Equality for Codata Types. CMCS 2018: 34-55
[c23]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/edcc/AdelsbergerIMSS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/edcc/AdelsbergerIMSS18
Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer:
Formal Verification for Feature-Based Composition of Workflows. EDCC 2018: 173-181
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ppdp/AdelsbergerSW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppdp/AdelsbergerSW18
Stephan Adelsberger, Anton Setzer, Eric Walkingshaw:
Declarative GUIs: Simple, Consistent, and Verified. PPDP 2018: 4:1-4:15
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/setta/AdelsbergerSW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/setta/AdelsbergerSW18
Stephan Adelsberger, Anton Setzer, Eric Walkingshaw:
Developing GUI Applications in a Verified Setting. SETTA 2018: 89-107
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1804-06398
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1804-06398
Anton Setzer:
Modelling Bitcoin in Agda. CoRR abs/1804.06398 (2018)
2017
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/AbelAS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/AbelAS17
Andreas Abel, Stephan Adelsberger, Anton Setzer:
Interactive programming in Agda - Objects and graphical user interfaces. J. Funct. Program. 27: e8 (2017)
2016
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/KansoS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/KansoS16
Karim Kanso, Anton Setzer:
A light-weight integration of automated and interactive theorem proving. Mathematical Structures in Computer Science 26(1): 129-153 (2016)
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfp/IgriedS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/IgriedS16
Bashar Igried, Anton Setzer:
Programming with monadic CSP-style processes in dependent type theory. TyDe@ICFP 2016: 28-38
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/types/IgriedS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/types/IgriedS16
Bashar Igried, Anton Setzer:
Defining Trace Semantics for CSP-Agda. TYPES 2016: 12:1-12:23
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1709-04714
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1709-04714
Bashar Igried, Anton Setzer:
Trace and Stable Failures Semantics for CSP-Agda. CoALP-Ty 2016: 36-51
2014
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/Setzer0PT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/Setzer0PT14
Anton Setzer, Andreas Abel, Brigitte Pientka, David Thibodeau:
Unnesting of Copatterns. RTA-TLCA 2014: 31-45
2013
[c16]
- view
- export record
  dblp key:
  - conf/lics/GhaniMFS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/GhaniMFS13
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer:
Fibred Data Types. LICS 2013: 243-252
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/AbelPTS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AbelPTS13
Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer:
Copatterns: programming infinite structures by observations. POPL 2013: 27-38
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sefm/JamesLMRSSKC13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sefm/JamesLMRSSKC13
Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick:
Verification of Solid State Interlocking Programs. SEFM Workshops 2013: 253-268
2012
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/leus/Setzer12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/leus/Setzer12
Anton Setzer:
Coalgebras as Types Determined by Their Elimination Rules. Epistemology versus Ontology 2012: 351-369
2011
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/calco/AltenkirchMFS11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/calco/AltenkirchMFS11
Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer:
A Categorical Semantics for Inductive-Inductive Definitions. CALCO 2011: 70-84
2010
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/ForsbergS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/ForsbergS10
Fredrik Nordvall Forsberg, Anton Setzer:
Inductive-Inductive Definitions. CSL 2010: 454-468

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/KansoMS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/KansoMS09
Karim Kanso, Faron Moller, Anton Setzer:
Automated Verification of Signalling Principles in Railway Interlocking Systems. Electr. Notes Theor. Comput. Sci. 250(2): 19-31 (2009)
2008
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mst/RaufBS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mst/RaufBS08
Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer:
A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++. Theory Comput. Syst. 43(3-4): 298-321 (2008)
2006
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/DybjerS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/DybjerS06
Peter Dybjer, Anton Setzer:
Indexed induction-recursion. J. Log. Algebr. Program. 66(1): 1-49 (2006)
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cie/Setzer06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cie/Setzer06
Anton Setzer:
Partial Recursive Functions in Martin-Löf Type Theory. CiE 2006: 505-515
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/HarwoodMS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/HarwoodMS06
Will Harwood, Faron Moller, Anton Setzer:
Weak Bisimulation Approximants. CSL 2006: 365-379
[c9]
- no documents available
- export record
  dblp key:
  - conf/sfp/Setzer06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sfp/Setzer06
Anton Setzer:
Object-oriented programming in dependent type theory. Trends in Functional Programming 2006: 91-108
[c8]
- no documents available
- export record
  dblp key:
  - conf/sfp/RaufBS06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sfp/RaufBS06
Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer:
Functional concepts in C++. Trends in Functional Programming 2006: 163-179
2005
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MichelbrinkS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/MichelbrinkS05
Markus Michelbrink, Anton Setzer:
State Dependent IO-Monads in Type Theory. Electr. Notes Theor. Comput. Sci. 122: 127-146 (2005)
2004
[i1]
- view
  - electronic edition @ dagstuhl.de
- export record
  dblp key:
  - conf/dagstuhl/SetzerH04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/SetzerH04
Anton Setzer, Peter Hancock:
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version). Dependently Typed Programming 2004
2003
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/DybjerS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/apal/DybjerS03
Peter Dybjer, Anton Setzer:
Induction-recursion and initial algebras. Ann. Pure Appl. Logic 124(1-3): 1-47 (2003)
2002
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/types/Setzer02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/types/Setzer02
Anton Setzer:
Java as a Functional Programming Language. TYPES 2002: 279-298
2001
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dagstuhl/DybjerS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dagstuhl/DybjerS01
Peter Dybjer, Anton Setzer:
Indexed Induction-Recursion. Proof Theory in Computer Science 2001: 93-113
2000
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/aml/Setzer00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/aml/Setzer00
Anton Setzer:
Extending Martin-Löf Type Theory by one Mahlo-universe. Arch. Math. Log. 39(3): 155-181 (2000)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/HancockS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/HancockS00
Peter Hancock, Anton Setzer:
Interactive Programs in Dependent Type Theory. CSL 2000: 317-331

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j2]
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/JagerKSS99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/JagerKSS99
Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm:
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. 64(1): 53-67 (1999)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tlca/DybjerS99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tlca/DybjerS99
Peter Dybjer, Anton Setzer:
A Finite Axiomatization of Inductive-Recursive Definitions. TLCA 1999: 129-146
1998
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/Setzer98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/apal/Setzer98
Anton Setzer:
Well-Ordering, Proofs for Martin-Löf Type Theory. Ann. Pure Appl. Logic 92(2): 113-159 (1998)
1997
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/kgc/Setzer97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/kgc/Setzer97
Anton Setzer:
Translating Set Theoretical Proofs into Type Theoretical Programs. Kurt Gödel Colloquium 1997: 278-289
1996
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/Setzer96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/Setzer96
Anton Setzer:
Inductive Definitions with Decidable Atomic Formulas. CSL 1996: 414-430
[c1]
- no documents available
- export record
  dblp key:
  - conf/dimacs/CloteS96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/dimacs/CloteS96
Peter Clote, Anton Setzer:
On PHP st-connectivity, and odd charged graphs. Proof Complexity and Feasible Arithmetics 1996: 93-118

Coauthor Index

see FAQ

maintained by

, founded at