Anton Setzer
Swansea University
H-index: 19
Europe-United Kingdom
Top articles of Anton Setzer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
THE JOURNAL OF SYMBOLIC LOGIC | Steve Awodey Sylvy Anscombe Veronica Becher Lev Beklemishev Michael Benedikt | 2023 | |
A model of Solidity-style smart contracts in the theorem prover Agda | Fahad Alhabardi Anton Setzer | 2023/9/16 | |
Appendix to a simulator of Solidity-style smart contracts in the theorem prover Agda 1 August 2023 | Fahad Alhabardi Anton Setzer | 2023/8/1 | |
A Simple Model of Smart Contracts in Agda | 29th International Conference on Types for Proofs and Programs TYPES 2023–Abstracts | Fahad Alhabardi Anton Setzer | 2023/6/12 |
The extended predicative Mahlo universe in Martin-Löf type theory | Journal of Logic and Computation | Peter Dybjer Anton Setzer | 2023/5/12 |
Verifying correctness of smart contracts with conditionals | Fahad Alhabardi Bogdan Lazar Anton Setzer | 2022/11/7 | |
Verification Techniques for Smart Contracts in Agda | Fahad F Alhabardi Arnold Beckmann Bogdan Lazar Anton Setzer | 2022/6/22 | |
Implementing Martin-Löf’s Meaning Explanations for Intuitionistic Type Theory in Agda | Peter Dybjer Anton Setzer | 2022/6/21 | |
Verification of bitcoin script in agda using weakest preconditions for access control | arXiv preprint arXiv:2203.03054 | Fahad F Alhabardi Arnold Beckmann Bogdan Lazar Anton Setzer | 2022/3/6 |
An upper bound for the proof-theoretic strength of Martin-Löf type theory with W-type and one universe | The Legacy of Kurt Schütte | Anton Setzer | 2020 |
PROOF SOCIETY SUMMER SCHOOLS AND WORKSHOP ON PROOF THEORY AND ITS APPLICATIONS COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Swansea, UK September 8–13, 2019 | Ulrich Berger Anton Setzer | 2020/9 |