Suivre
Anton Setzer
Anton Setzer
Dept of Computerv Science, Swansea University
Adresse e-mail validée de swansea.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
Copatterns: programming infinite structures by observations
A Abel, B Pientka, D Thibodeau, A Setzer
ACM SIGPLAN Notices 48 (1), 27-38, 2013
1812013
A finite axiomatization of inductive-recursive definitions
P Dybjer, A Setzer
Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 …, 1999
1511999
Indexed induction-recursion
A Setzer, P Dybjer
107*2006
Induction–recursion and initial algebras
P Dybjer, A Setzer
Annals of Pure and Applied Logic 124 (1-3), 1-47, 2003
972003
Interactive programs in dependent type theory
P Hancock, A Setzer
Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual …, 2000
972000
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
852009
Inductive-inductive definitions
F Nordvall Forsberg, A Setzer
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010
822010
Extending Martin-Löf type theory by one Mahlo-universe
A Setzer
Archive for Mathematical Logic 39 (3), 155-181, 2000
682000
Proof theoretical strength of Martin-Löf Type Theory with W-type and one universe
A Setzer
Uitgever niet vastgesteld, 1993
591993
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
581999
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
462014
Well-ordering proofs for Martin-Löf type theory
A Setzer
Annals of Pure and applied Logic 92 (2), 113-159, 1998
391998
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
332011
Specifying interactions with dependent types
P Hancock, A Setzer
Workshop on subtyping and dependent types in programming, Portugal 7, 2000
262000
A finite axiomatisation of inductive-inductive definitions
FN Forsberg, A Setzer
Logic, Construction, Computation 3, 259-287, 2012
232012
Object-oriented programming in dependent type theory
A Setzer
Trends in functional programming 7, 91-108, 2007
222007
Java as a functional programming language
A Setzer
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en …, 2003
212003
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
202005
On PHP st-connectivity, and odd charged graphs.
P Clote, A Setzer
Proof Complexity and Feasible Arithmetics, 93-117, 1996
201996
Interactive programming in Agda–Objects and graphical user interfaces
A Abel, S Adelsberger, A Setzer
Journal of Functional Programming 27, e8, 2017
182017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20