# Anton Setzer

Orcid: 0000-0001-5322-6060
According to our database

Collaborative distances:

^{1}, Anton Setzer authored at least 42 papers between 1996 and 2023.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2023

Proceedings of the 2023 6th International Conference on Blockchain Technology and Applications, 2023

Proceedings of the IEEE International Conference on Artificial Intelligence, 2023

2022

Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control.

CoRR, 2022

2021

Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control.

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

2018

CoRR, 2018

Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Proceedings of the 14th European Dependable Computing Conference, 2018

Proceedings of the Coalgebraic Methods in Computer Science, 2018

2017

J. Funct. Program., 2017

2016

Math. Struct. Comput. Sci., 2016

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

2014

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2013

Proceedings of the Software Engineering and Formal Methods, 2013

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

Proceedings of the Epistemology versus Ontology, 2012

2011

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2008

A Provably Correct Translation of the <i>lambda</i> -Calculus into a Mathematical Model of C++.

Theory Comput. Syst., 2008

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

2006

J. Log. Algebraic Methods Program., 2006

Object-oriented programming in dependent type theory.

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Functional concepts in C++.

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Proceedings of the Logical Approaches to Computational Barriers, 2006

2005

Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory.

Proceedings of the From sets and types to topology and analysis, 2005

2004

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version).

Proceedings of the Dependently Typed Programming, 12.09. - 17.09.2004, 2004

2003

Ann. Pure Appl. Log., 2003

2002

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2000

Arch. Math. Log., 2000

Proceedings of the Computer Science Logic, 2000

1999

J. Symb. Log., 1999

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1998

Ann. Pure Appl. Log., 1998

1997

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1996

Proceedings of the Proof Complexity and Feasible Arithmetics, 1996

Proceedings of the Computer Science Logic, 10th International Workshop, 1996