Articles and PhD Theses of Research Assistents and PhD students of Anton Setzer

• Fredrik Nordvall Forsberg
  • Fredrik Nordvall Forsberg: Inductive-inductive definitions. PhD thesis, Dept. of Computer Science, Swansea University, Singleton Park, Swansea SA2 8PP, UK, September 2013.
    • BibTex
    • Pdf
  • N. Ghani, L. Malatesta and F. Nordvall Forsberg: Positive Inductive-Recursive Definitions. CALCO 2013, LNCS 8089, 2013, 19 - 33. Doi 10.1007/978-3-642-40206-7_3
    • Published Version
    • Author's copy
    • BibTeX
  • K. Miyamoto, F. Nordvall Forsberg, H. Schwichtenberg: Program extraction from nested definitions. ITP 2013, LNCS 7998, 2013, pp. 370 - 385. doi 10.1007/978-3-642-39634-2_27
    • Published Version
    • BibTeX
    • Author's copy
• Karim Kanso
  • Karim Kanso: Agda as a Platform for the Development of Verified Railway Interlocking Systems. PhD thesis, Dept. of Computer Science, Swansea University, Singleton Park, Swansea SA2 8PP, UK, February 2013
  • Ethos Id: uk.bl.ethos.678306
    • BibTex
    • Pdf
    • Github repository with forked Agda code
    • Code thesis
    • iso file containing source code
    • Material regarding the Interlocking of the historic railway Gwili
  • Karim Kanso: Formal Verification of Ladder Logic. MRes thesis, Dept. of Computer Science, Swansea University, Singleton Park, Swansea SA2 8PP, UK, October 2010
    • BibTex
    • Pdf
• Chi Ming Chuang
  • Chi Ming Chuang: Extraction of Programs for Exact Real Number Computation using Agda. PhD thesis, Dept. of Computer Science, Swansea University, Singleton Park, Swansea SA2 8PP, UK, March 2011.
    • BibTex
    • Pdf
• Rose Hafsah Abdul Rauf
  • Rose Hafsah Abdul Rauf: Integrating Functional Programming into C++. PhD thesis, Dept. of Computer Science, Swansea University, Singleton Park, Swansea SA2 8PP, UK, September 2007.
    • Bibtex
    • Ps
    • Pdf
  • Rose Hafsah Abdul Rauf: Integrating Functional Programming into C++: Implementation and Verification. In: Arnold Beckmann and Ulrich Berger and Benedikt Löwe and John V. Tucker: Logical Approaches to Computational Barriers. Conference CiE 2006. Report No. CSR 7-2006, Department of Computer Science, University of Wales Swansea, 2006, 2 -11.
    • Official publication available from CSR7-2006
    • Article extracted from Report
    • Bibtex
    • Author's copy
      • Dvi
      • Ps
      • Pdf
• Markus Michelbrink
  • Markus Michelbrink: A Buchholz derivation system for the ordinal analysis of KP+ Pi_3-reflection. Journal of Symbolic Logic 71(4):1237-1283, 2006. Doi 10.2178/jsl/1164060454
    • Published Version
    • Bibtex
    • Author's copy
      • Dvi
      • Postscript
      • Pdf
  • Markus Michelbrink: Interfaces as functors, programs as coalgebras: a final coalgebra theorem in intensional type theory. Theoretical Computer Science 360(1), 415 - 439, 2006. Doi 10.1016/j.tcs.2006.05.033
    • Published Version
    • Bibtex
    • pdf
  • Markus Michelbrink: Interfaces as games, programs as strategies. In: Jean-Christophe Filliatre, Christine Paulin and Benjamin Werner: Types for Proofs and Programs (TYPES 2004). Springer Lecture Notes in Computer Science 3839, 215 - 231, 2006. Doi 10.1007/11617990_14
    • Published Version
    • Bibtex