| Copatterns: Programming infinite structures by observations A Abel, B Pientka, D Thibodeau, A Setzer ACM SIGPLAN Notices 48 (1), 27-38, 2013 | 170 | 2013 |
| A finite axiomatization of inductive-recursive definitions P Dybjer, A Setzer Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 …, 1999 | 140 | 1999 |
| Indexed induction-recursion A Setzer, P Dybjer | 102* | 2006 |
| Induction–recursion and initial algebras P Dybjer, A Setzer Annals of Pure and Applied Logic 124 (1-3), 1-47, 2003 | 91 | 2003 |
| Interactive programs in dependent type theory P Hancock, A Setzer Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual …, 2000 | 90 | 2000 |
| Automated verification of signalling principles in railway interlocking systems K Kanso, F Moller, A Setzer Electronic Notes in Theoretical Computer Science 250 (2), 19-31, 2009 | 87 | 2009 |
| Extending Martin-Löf type theory by one Mahlo-universe A Setzer Archive for Mathematical Logic 39 (3), 155-181, 2000 | 61 | 2000 |
| Proof theoretical strength of Martin-Löf Type Theory with W-type and one universe A Setzer Uitgever niet vastgesteld, 1993 | 58 | 1993 |
| The proof-theoretic analysis of transfinitely iterated fixed point theories G Jäger, R Kahle, A Setzer, T Strahm The Journal of Symbolic Logic 64 (1), 53-67, 1999 | 56 | 1999 |
| Verification of solid state interlocking programs P James, A Lawrence, F Moller, M Roggenbach, M Seisenberger, ... Software Engineering and Formal Methods SEFM 2013 8368, 253-268, 2014 | 43 | 2014 |
| Inductive-inductive definitions F Nordvall Forsberg, A Setzer Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010 | 37 | 2010 |
| Well-ordering proofs for Martin-Löf type theory A Setzer Annals of Pure and Applied Logic 92 (2), 113-159, 1998 | 34 | 1998 |
| A categorical semantics for inductive-inductive definitions T Altenkirch, P Morris, F Nordvall Forsberg, A Setzer Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011 | 30 | 2011 |
| Specifying interactions with dependent types P Hancock, A Setzer Workshop on subtyping and dependent types in programming, Portugal 7, 1-2, 2000 | 25 | 2000 |
| On PHP st-connectivity, and odd charged graphs. P Clote, A Setzer Proof Complexity and Feasible Arithmetics, 93-117, 1996 | 21 | 1996 |
| Object-oriented programming in dependent type theory A Setzer Trends in functional programming 7, 91-108, 2006 | 20 | 2006 |
| Java as a functional programming language A Setzer Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en …, 2003 | 20 | 2003 |
| A finite axiomatisation of inductive-inductive definitions FN Forsberg, A Setzer Logic, Construction, Computation 3, 259-287, 2012 | 19 | 2012 |
| Interactive programs and weakly final coalgebras in dependent type theory P Hancock, A Setzer From Sets and Types to Topology and Analysis. Towards Practicable …, 2005 | 19 | 2005 |
| Ordinal systems A Setzer LONDON MATHEMATICAL SOCIETY LECTURE NOTE SERIES, 301-338, 1999 | 18 | 1999 |
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
