Anton Setzer
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [c24]
- [c23]Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer:
Formal Verification for Feature-Based Composition of Workflows. EDCC 2018: 173-181 - [c22]Stephan Adelsberger, Anton Setzer, Eric Walkingshaw:
Declarative GUIs: Simple, Consistent, and Verified. PPDP 2018: 4:1-4:15 - [c21]Stephan Adelsberger, Anton Setzer, Eric Walkingshaw:
Developing GUI Applications in a Verified Setting. SETTA 2018: 89-107 - [i2]
- 2017
- [j10]Andreas Abel, Stephan Adelsberger, Anton Setzer:
Interactive programming in Agda - Objects and graphical user interfaces. J. Funct. Program. 27: e8 (2017) - 2016
- [j9]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]Bashar Igried, Anton Setzer:
Programming with monadic CSP-style processes in dependent type theory. TyDe@ICFP 2016: 28-38 - [c19]
- [c18]
- 2014
- [c17]Anton Setzer, Andreas Abel, Brigitte Pientka, David Thibodeau:
Unnesting of Copatterns. RTA-TLCA 2014: 31-45 - 2013
- [c16]Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer:
Fibred Data Types. LICS 2013: 243-252 - [c15]Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer:
Copatterns: programming infinite structures by observations. POPL 2013: 27-38 - [c14]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]Anton Setzer:
Coalgebras as Types Determined by Their Elimination Rules. Epistemology versus Ontology 2012: 351-369 - 2011
- [c13]Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer:
A Categorical Semantics for Inductive-Inductive Definitions. CALCO 2011: 70-84 - 2010
- [c12]
2000 – 2009
- 2009
- [j8]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]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]Peter Dybjer, Anton Setzer:
Indexed induction-recursion. J. Log. Algebr. Program. 66(1): 1-49 (2006) - [c11]
- [c10]
- [c9]Anton Setzer:
Object-oriented programming in dependent type theory. Trends in Functional Programming 2006: 91-108 - [c8]Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer:
Functional concepts in C++. Trends in Functional Programming 2006: 163-179 - 2005
- [j5]Markus Michelbrink, Anton Setzer:
State Dependent IO-Monads in Type Theory. Electr. Notes Theor. Comput. Sci. 122: 127-146 (2005) - 2004
- [i1]Anton Setzer, Peter Hancock:
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version). Dependently Typed Programming 2004 - 2003
- [j4]Peter Dybjer, Anton Setzer:
Induction-recursion and initial algebras. Ann. Pure Appl. Logic 124(1-3): 1-47 (2003) - 2002
- [c7]
- 2001
- [c6]Peter Dybjer, Anton Setzer:
Indexed Induction-Recursion. Proof Theory in Computer Science 2001: 93-113 - 2000
- [j3]Anton Setzer:
Extending Martin-Löf Type Theory by one Mahlo-universe. Arch. Math. Log. 39(3): 155-181 (2000) - [c5]
1990 – 1999
- 1999
- [j2]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]Peter Dybjer, Anton Setzer:
A Finite Axiomatization of Inductive-Recursive Definitions. TLCA 1999: 129-146 - 1998
- [j1]Anton Setzer:
Well-Ordering, Proofs for Martin-Löf Type Theory. Ann. Pure Appl. Logic 92(2): 113-159 (1998) - 1997
- [c3]Anton Setzer:
Translating Set Theoretical Proofs into Type Theoretical Programs. Kurt Gödel Colloquium 1997: 278-289 - 1996
- [c2]
- [c1]Peter Clote, Anton Setzer:
On PHP st-connectivity, and odd charged graphs. Proof Complexity and Feasible Arithmetics 1996: 93-118
Coauthor Index
last updated on 2019-01-09 01:37 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint