Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Anton Setzer
@inproceedings{DBLP:conf/aibthings/AlhabardiS23,
author = {Fahad F. Alhabardi and
Anton Setzer},
title = {A model of Solidity-style smart contracts in the theorem prover Agda},
booktitle = {{IEEE} International Conference on Artificial Intelligence, Blockchain,
and Internet of Things, AIBThings 2023, Mount Pleasant, MI, USA, September
16-17, 2023},
pages = {1--10},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/AIBThings58340.2023.10292478},
doi = {10.1109/AIBTHINGS58340.2023.10292478},
timestamp = {Thu, 16 Nov 2023 16:28:41 +0100},
biburl = {https://dblp.org/rec/conf/aibthings/AlhabardiS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-03054,
author = {Fahad F. Alhabardi and
Arnold Beckmann and
Bogdan Lazar and
Anton Setzer},
title = {Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions
for Access Control},
journal = {CoRR},
volume = {abs/2203.03054},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.03054},
doi = {10.48550/ARXIV.2203.03054},
eprinttype = {arXiv},
eprint = {2203.03054},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-03054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AlhabardiBLS21,
author = {Fahad F. Alhabardi and
Arnold Beckmann and
Bogdan Lazar and
Anton Setzer},
editor = {Henning Basold and
Jesper Cockx and
Silvia Ghilezan},
title = {Verification of Bitcoin Script in Agda Using Weakest Preconditions
for Access Control},
booktitle = {27th International Conference on Types for Proofs and Programs, {TYPES}
2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference)},
series = {LIPIcs},
volume = {239},
pages = {1:1--1:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2021.1},
doi = {10.4230/LIPICS.TYPES.2021.1},
timestamp = {Thu, 04 Aug 2022 11:31:27 +0200},
biburl = {https://dblp.org/rec/conf/types/AlhabardiBLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/0001S18,
author = {Ulrich Berger and
Anton Setzer},
editor = {Corina C{\^{\i}}rstea},
title = {Undecidability of Equality for Codata Types},
booktitle = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
Greece, April 14-15, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11202},
pages = {34--55},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00389-0\_4},
doi = {10.1007/978-3-030-00389-0\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/0001S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/AdelsbergerIMSS18,
author = {Stephan Adelsberger and
Bashar Igried and
Markus Moser and
Vadim Savenkov and
Anton Setzer},
title = {Formal Verification for Feature-Based Composition of Workflows},
booktitle = {14th European Dependable Computing Conference, {EDCC} 2018, Ia{\c{s}}i,
Romania, September 10-14, 2018},
pages = {173--181},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EDCC.2018.00039},
doi = {10.1109/EDCC.2018.00039},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/AdelsbergerIMSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AdelsbergerSW18,
author = {Stephan Adelsberger and
Anton Setzer and
Eric Walkingshaw},
editor = {David Sabel and
Peter Thiemann},
title = {Declarative GUIs: Simple, Consistent, and Verified},
booktitle = {Proceedings of the 20th International Symposium on Principles and
Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
Germany, September 03-05, 2018},
pages = {4:1--4:15},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236950.3236962},
doi = {10.1145/3236950.3236962},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/AdelsbergerSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AdelsbergerSW18,
author = {Stephan Adelsberger and
Anton Setzer and
Eric Walkingshaw},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Developing {GUI} Applications in a Verified Setting},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {89--107},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_6},
doi = {10.1007/978-3-319-99933-3\_6},
timestamp = {Fri, 04 Mar 2022 17:17:33 +0100},
biburl = {https://dblp.org/rec/conf/setta/AdelsbergerSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/0001MS18,
author = {Ulrich Berger and
Ralph Matthes and
Anton Setzer},
editor = {Peter Dybjer and
Jos{\'{e}} Esp{\'{\i}}rito Santo and
Lu{\'{\i}}s Pinto},
title = {Martin Hofmann's Case for Non-Strictly Positive Data Types},
booktitle = {24th International Conference on Types for Proofs and Programs, {TYPES}
2018, June 18-21, 2018, Braga, Portugal},
series = {LIPIcs},
volume = {130},
pages = {1:1--1:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2018.1},
doi = {10.4230/LIPICS.TYPES.2018.1},
timestamp = {Fri, 17 Jul 2020 11:39:06 +0200},
biburl = {https://dblp.org/rec/conf/types/0001MS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06398,
author = {Anton Setzer},
title = {Modelling Bitcoin in Agda},
journal = {CoRR},
volume = {abs/1804.06398},
year = {2018},
url = {http://arxiv.org/abs/1804.06398},
eprinttype = {arXiv},
eprint = {1804.06398},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06398.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AbelAS17,
author = {Andreas Abel and
Stephan Adelsberger and
Anton Setzer},
title = {Interactive programming in Agda - Objects and graphical user interfaces},
journal = {J. Funct. Program.},
volume = {27},
pages = {e8},
year = {2017},
url = {https://doi.org/10.1017/S0956796816000319},
doi = {10.1017/S0956796816000319},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AbelAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KansoS16,
author = {Karim Kanso and
Anton Setzer},
title = {A light-weight integration of automated and interactive theorem proving},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {1},
pages = {129--153},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000140},
doi = {10.1017/S0960129514000140},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/KansoS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/IgriedS16,
author = {Bashar Igried and
Anton Setzer},
editor = {James Chapman and
Wouter Swierstra},
title = {Programming with monadic CSP-style processes in dependent type theory},
booktitle = {Proceedings of the 1st International Workshop on Type-Driven Development,
TyDe@ICFP 2016, Nara, Japan, September 18, 2016},
pages = {28--38},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976022.2976032},
doi = {10.1145/2976022.2976032},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/IgriedS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/IgriedS16,
author = {Bashar Igried and
Anton Setzer},
editor = {Silvia Ghilezan and
Herman Geuvers and
Jelena Ivetic},
title = {Defining Trace Semantics for CSP-Agda},
booktitle = {22nd International Conference on Types for Proofs and Programs, {TYPES}
2016, May 23-26, 2016, Novi Sad, Serbia},
series = {LIPIcs},
volume = {97},
pages = {12:1--12:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2016.12},
doi = {10.4230/LIPICS.TYPES.2016.12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/IgriedS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-04714,
author = {Bashar Igried and
Anton Setzer},
editor = {Ekaterina Komendantskaya and
John Power},
title = {Trace and Stable Failures Semantics for CSP-Agda},
booktitle = {Proceedings of the First Workshop on Coalgebra, Horn Clause Logic
Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November
2016},
series = {{EPTCS}},
volume = {258},
pages = {36--51},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.258.3},
doi = {10.4204/EPTCS.258.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Setzer0PT14,
author = {Anton Setzer and
Andreas Abel and
Brigitte Pientka and
David Thibodeau},
editor = {Gilles Dowek},
title = {Unnesting of Copatterns},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {31--45},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_3},
doi = {10.1007/978-3-319-08918-8\_3},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/Setzer0PT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GhaniMFS13,
author = {Neil Ghani and
Lorenzo Malatesta and
Fredrik Nordvall Forsberg and
Anton Setzer},
title = {Fibred Data Types},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {243--252},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.30},
doi = {10.1109/LICS.2013.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GhaniMFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AbelPTS13,
author = {Andreas Abel and
Brigitte Pientka and
David Thibodeau and
Anton Setzer},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Copatterns: programming infinite structures by observations},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {27--38},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429075},
doi = {10.1145/2429069.2429075},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/AbelPTS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JamesLMRSSKC13,
author = {Phillip James and
Andy Lawrence and
Faron Moller and
Markus Roggenbach and
Monika Seisenberger and
Anton Setzer and
Karim Kanso and
Simon Chadwick},
editor = {Steve Counsell and
Manuel N{\'{u}}{\~{n}}ez},
title = {Verification of Solid State Interlocking Programs},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
September 23-24, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8368},
pages = {253--268},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05032-4\_19},
doi = {10.1007/978-3-319-05032-4\_19},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/JamesLMRSSKC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Setzer12,
author = {Anton Setzer},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Coalgebras as Types Determined by Their Elimination Rules},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {351--369},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_16},
doi = {10.1007/978-94-007-4435-6\_16},
timestamp = {Sun, 02 Jun 2019 20:42:14 +0200},
biburl = {https://dblp.org/rec/series/leus/Setzer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AltenkirchMFS11,
author = {Thorsten Altenkirch and
Peter Morris and
Fredrik Nordvall Forsberg and
Anton Setzer},
editor = {Andrea Corradini and
Bartek Klin and
Corina C{\^{\i}}rstea},
title = {A Categorical Semantics for Inductive-Inductive Definitions},
booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
{CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {70--84},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22944-2\_6},
doi = {10.1007/978-3-642-22944-2\_6},
timestamp = {Fri, 09 Apr 2021 18:48:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AltenkirchMFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ForsbergS10,
author = {Fredrik Nordvall Forsberg and
Anton Setzer},
editor = {Anuj Dawar and
Helmut Veith},
title = {Inductive-Inductive Definitions},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {454--468},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_35},
doi = {10.1007/978-3-642-15205-4\_35},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/ForsbergS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/RaufBS08,
author = {Rose H. Abdul Rauf and
Ulrich Berger and
Anton Setzer},
title = {A Provably Correct Translation of the \emph{lambda} -Calculus into
a Mathematical Model of {C++}},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {298--321},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9062-1},
doi = {10.1007/S00224-007-9062-1},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/RaufBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KansoMS09,
author = {Karim Kanso and
Faron Moller and
Anton Setzer},
editor = {Alice Miller and
Muffy Calder},
title = {Automated Verification of Signalling Principles in Railway Interlocking
Systems},
booktitle = {Proceedings of the Eighth International Workshop on Automated Verification
of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October
1, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {250},
number = {2},
pages = {19--31},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.08.015},
doi = {10.1016/J.ENTCS.2009.08.015},
timestamp = {Fri, 24 Feb 2023 13:53:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KansoMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DybjerS06,
author = {Peter Dybjer and
Anton Setzer},
title = {Indexed induction-recursion},
journal = {J. Log. Algebraic Methods Program.},
volume = {66},
number = {1},
pages = {1--49},
year = {2006},
url = {https://doi.org/10.1016/j.jlap.2005.07.001},
doi = {10.1016/J.JLAP.2005.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DybjerS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Setzer06,
author = {Anton Setzer},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {Partial Recursive Functions in Martin-L{\"{o}}f Type Theory},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {505--515},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_51},
doi = {10.1007/11780342\_51},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Setzer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HarwoodMS06,
author = {Will Harwood and
Faron Moller and
Anton Setzer},
editor = {Zolt{\'{a}}n {\'{E}}sik},
title = {Weak Bisimulation Approximants},
booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th
Annual Conference of the EACSL, Szeged, Hungary, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4207},
pages = {365--379},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11874683\_24},
doi = {10.1007/11874683\_24},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HarwoodMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Setzer06,
author = {Anton Setzer},
editor = {Henrik Nilsson},
title = {Object-oriented programming in dependent type theory},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {91--108},
publisher = {Intellect},
year = {2006},
timestamp = {Thu, 25 Oct 2007 12:11:04 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Setzer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/RaufBS06,
author = {Rose H. Abdul Rauf and
Ulrich Berger and
Anton Setzer},
editor = {Henrik Nilsson},
title = {Functional concepts in {C++}},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
series = {Trends in Functional Programming},
volume = {7},
pages = {163--179},
publisher = {Intellect},
year = {2006},
timestamp = {Fri, 18 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/RaufBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ox/05/HancockS05,
author = {Peter G. Hancock and
Anton Setzer},
editor = {Laura Crosilla and
Peter M. Schuster},
title = {Interactive Programs and Weakly Final Coalgebras in Dependent Type
Theory},
booktitle = {From sets and types to topology and analysis - Towards practicable
foundations for constructive mathematics},
series = {Oxford logic guides},
volume = {48},
publisher = {Oxford University Press},
year = {2005},
timestamp = {Fri, 19 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ox/05/HancockS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MichelbrinkS05,
author = {Markus Michelbrink and
Anton Setzer},
editor = {Lars Birkedal},
title = {State Dependent IO-Monads in Type Theory},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {127--146},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.055},
doi = {10.1016/J.ENTCS.2004.06.055},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MichelbrinkS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SetzerH04,
author = {Anton Setzer and
Peter G. Hancock},
editor = {Thorsten Altenkirch and
Martin Hofmann and
John Hughes},
title = {Interactive Programs and Weakly Final Coalgebras in Dependent Type
Theory (Extended Version)},
booktitle = {Dependently Typed Programming, 12.09. - 17.09.2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04381},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/176/},
timestamp = {Wed, 16 Mar 2022 22:31:12 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/SetzerH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DybjerS03,
author = {Peter Dybjer and
Anton Setzer},
title = {Induction-recursion and initial algebras},
journal = {Ann. Pure Appl. Log.},
volume = {124},
number = {1-3},
pages = {1--47},
year = {2003},
url = {https://doi.org/10.1016/S0168-0072(02)00096-9},
doi = {10.1016/S0168-0072(02)00096-9},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DybjerS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Setzer02,
author = {Anton Setzer},
editor = {Herman Geuvers and
Freek Wiedijk},
title = {Java as a Functional Programming Language},
booktitle = {Types for Proofs and Programs, Second International Workshop, {TYPES}
2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2646},
pages = {279--298},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-39185-1\_16},
doi = {10.1007/3-540-39185-1\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/Setzer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DybjerS01,
author = {Peter Dybjer and
Anton Setzer},
editor = {Reinhard Kahle and
Peter Schroeder{-}Heister and
Robert F. St{\"{a}}rk},
title = {Indexed Induction-Recursion},
booktitle = {Proof Theory in Computer Science, International Seminar, {PTCS} 2001,
Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2183},
pages = {93--113},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45504-3\_7},
doi = {10.1007/3-540-45504-3\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DybjerS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Setzer00,
author = {Anton Setzer},
title = {Extending Martin-L{\"{o}}f Type Theory by one Mahlo-universe},
journal = {Arch. Math. Log.},
volume = {39},
number = {3},
pages = {155--181},
year = {2000},
url = {https://doi.org/10.1007/s001530050140},
doi = {10.1007/S001530050140},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Setzer00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HancockS00,
author = {Peter G. Hancock and
Anton Setzer},
editor = {Peter Clote and
Helmut Schwichtenberg},
title = {Interactive Programs in Dependent Type Theory},
booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
Germany, August 21-26, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1862},
pages = {317--331},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44622-2\_21},
doi = {10.1007/3-540-44622-2\_21},
timestamp = {Fri, 19 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HancockS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JagerKSS99,
author = {Gerhard J{\"{a}}ger and
Reinhard Kahle and
Anton Setzer and
Thomas Strahm},
title = {The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point
Theories},
journal = {J. Symb. Log.},
volume = {64},
number = {1},
pages = {53--67},
year = {1999},
url = {https://doi.org/10.2307/2586750},
doi = {10.2307/2586750},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JagerKSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/DybjerS99,
author = {Peter Dybjer and
Anton Setzer},
editor = {Jean{-}Yves Girard},
title = {A Finite Axiomatization of Inductive-Recursive Definitions},
booktitle = {Typed Lambda Calculi and Applications, 4th International Conference,
TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1581},
pages = {129--146},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48959-2\_11},
doi = {10.1007/3-540-48959-2\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/DybjerS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Setzer98,
author = {Anton Setzer},
title = {Well-Ordering, Proofs for Martin-L{\"{o}}f Type Theory},
journal = {Ann. Pure Appl. Log.},
volume = {92},
number = {2},
pages = {113--159},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(97)00078-X},
doi = {10.1016/S0168-0072(97)00078-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Setzer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Setzer97,
author = {Anton Setzer},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Translating Set Theoretical Proofs into Type Theoretical Programs},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {278--289},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_50},
doi = {10.1007/3-540-63385-5\_50},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Setzer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Setzer96,
author = {Anton Setzer},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Inductive Definitions with Decidable Atomic Formulas},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {414--430},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_53},
doi = {10.1007/3-540-63172-0\_53},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Setzer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/CloteS96,
author = {Peter Clote and
Anton Setzer},
editor = {Paul Beame and
Samuel R. Buss},
title = {On \emph{PHP st}-connectivity, and odd charged graphs},
booktitle = {Proof Complexity and Feasible Arithmetics, Proceedings of a {DIMACS}
Workshop, New Brunswick, New Jersey, USA, April 21-24, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {39},
pages = {93--117},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/039/06},
doi = {10.1090/DIMACS/039/06},
timestamp = {Sat, 30 Sep 2023 09:38:58 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/CloteS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
