Publications

Journal Articles

  1. Kanso, K., Setzer, A. A light-weight integration of automated and interactive theorem proving Mathematical Structures in Computer Science 26 01 129 153
  2. Igried, B., Setzer, A. Defining Trace Semantics for CSP-Agda Leibniz International Proceedings in Informatics, LIPIcs 97 12:1 12:23
  3. Igried, B., Setzer, A. Trace and Stable Failures Semantics for CSP-Agda Electronic Proceedings in Theoretical Computer Science 258 36 51
  4. Abel, A., Adelsberger, S., Setzer, A. Interactive programming in Agda – Objects and graphical user interfaces Journal of Functional Programming 27
  5. Kanso, K., Moller, F., Setzer, A. Automated Verification of Signalling Principles in Railway Interlocking Systems Electronic Notes in Theoretical Computer Science 250 2 19 31
  6. Kanso, K., Moller, F., Setzer, A. Automated Verification of Signalling Principles in Railway Interlocking Systems Electronic Notes in Theoretical Computer Science 250 2 19 31
  7. Abdul Rauf, R., Berger, U., Setzer, A. A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Theory of Computing Systems 43 3-4 298 321
  8. Dybjer, P., Setzer, A. Indexed induction–recursion The Journal of Logic and Algebraic Programming 66 1 1
  9. Dybjer, P., Setzer, A. Induction–recursion and initial algebras Annals of Pure and Applied Logic 124 1-3 1 47

Book Chapters

  1. Setzer, A. An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe (Ed.), Springer
  2. Adelsberger, S., Setzer, A., Walkingshaw, E. Developing GUI Applications in a Verified Setting (Ed.), Dependable Software Engineering. Theories, Tools, and Applications 89 107 Beijing, China Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018
  3. Setzer, A. How to Reason Coinductively Informally (Ed.), Advances in Proof Theory 408 Switzerland Birkhäuser
  4. Setzer, A. The Use of Trustworthy Principles in a Revised Hilbert’s Program (Ed.), Gentzen's Centenary 45 60 Springer
  5. Setzer, A. Coalgebras as Types Determined by Their Elimination Rules (Ed.), Epistemology versus Ontology 351 369
  6. Setzer, A. Proof theory and Martin-Löf Type Theory (Ed.), One Hundred Years of Intuitionism (1907–2007) 257 279 Birkhäuser
  7. Nordvall Forsberg, F., Setzer, A. Inductive-Inductive Definitions (Ed.), Computer Science Logic 454 468 Springer
  8. Setzer, A. Universes in type theory part I—Inaccessibles and Mahlo (Ed.), Logic Colloquium 2004 123 156 Cambridge University Press
  9. Kahle, R., Setzer, A. An extended predicative definition of the Mahlo universe (Ed.), Ways of Proof Theory 309 334 Berlin, Boston De Gruyter

Conference Contributions

  1. Berger, U., Matthes, R., Setzer, A. Martin Hofmann’s case for non-strictly positive data types Proceedings of Types 2018
  2. Adelsberger, S., Igried, B., Moser, M., Savenkov, V., Setzer, A. Formal Verification for Feature-Based Composition of Workflows 173 181
  3. Berger, U., Setzer, A. Undecidability of Equality for Codata Types Coalgebraic Methods in Computer Science 11202 55
  4. Adelsberger, S., Setzer, A., Walkingshaw, E. Declarative GUIs: Simple, Consistent, and Verified PPDP '18 Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming 1 15
  5. Igried, B., Setzer, A. Programming with monadic CSP-style processes in dependent type theory TyDe 2016 28 38
  6. Setzer, A., Abel, A., Pientka, B., Thibodeau, D. Unnesting of Copatterns Rewriting and Typed Lambda Calculi 8560 31 45
  7. James, P., Lawrence, A., Moller, F., Roggenbach, M., Seisenberger, M., Setzer, A., Kanso, K., Chadwick, S. Verification of Solid State Interlocking Programs Software Engineering and Formal Methods 8368 268
  8. Ghani, N., Malatesta, L., Forsberg, F., Setzer, A. Fibred Data Types Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on 243 252
  9. Abel, A., Pientka, B., Thibodeau, D., Setzer, A. Copatterns: programming infinite structures by observations Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages 48 1 27 38
  10. Altenkirch, T., Morris, P., Forsberg, F., Setzer, A. A Categorical Semantics for Inductive-Inductive Definitions Algebra and Coalgebra in Computer Science. 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings 6859 70 84
  11. Kanso, K., Setzer, A. Specifying railway interlocking systems 233 236
  12. Harwood, W., Moller, F., Setzer, A. Weak Bisimulation Approximants Computer Science Logic 4207 365