Sledovať
Anton Setzer
Anton Setzer
Dept of Computerv Science, Swansea University
Overená e-mailová adresa na: swansea.ac.uk - Domovská stránka
Názov
Citované v
Citované v
Rok
Copatterns: programming infinite structures by observations
A Abel, B Pientka, D Thibodeau, A Setzer
ACM SIGPLAN Notices 48 (1), 27-38, 2013
1932013
A finite axiomatization of inductive-recursive definitions
P Dybjer, A Setzer
Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 …, 1999
1531999
Indexed induction-recursion
A Setzer, P Dybjer
108*2006
Interactive programs in dependent type theory
P Hancock, A Setzer
Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual …, 2000
1032000
Induction–recursion and initial algebras
P Dybjer, A Setzer
Annals of Pure and Applied Logic 124 (1-3), 1-47, 2003
972003
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
892009
Inductive-inductive definitions
F Nordvall Forsberg, A Setzer
International Workshop on Computer Science Logic, 454-468, 2010
832010
Extending Martin-Löf type theory by one Mahlo-universe
A Setzer
Archive for Mathematical Logic 39 (3), 155-181, 2000
692000
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
621999
Proof theoretical strength of Martin-Löf Type Theory with W-type and one universe
A Setzer
Uitgever niet vastgesteld, 1993
591993
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
482014
Well-ordering proofs for Martin-Löf type theory
A Setzer
Annals of Pure and applied Logic 92 (2), 113-159, 1998
411998
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
272000
A finite axiomatisation of inductive-inductive definitions
FN Forsberg, A Setzer
Logic, Construction, Computation 3, 259-287, 2012
232012
Java as a functional programming language
A Setzer
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en …, 2003
232003
Object-oriented programming in dependent type theory
A Setzer
Trends in functional programming 7, 91-108, 2007
212007
On PHP, st-connectivity and odd charged graphs
P Clote, A Setzer
Proof Complexity and Feasible Arithmetics 39, 93-117, 1998
211998
Interactive programming in Agda–Objects and graphical user interfaces
A Abel, S Adelsberger, A Setzer
Journal of Functional Programming 27, e8, 2017
202017
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
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20