Anton Setzer

Available identifiers

zbMath Open setzer.antonWikidataQ60646026 ScholiaQ60646026MaRDI QIDQ587965

List of research outcomes

Publication	Date of Publication	Type
The extended predicative Mahlo universe in Martin-Löf type theory	2024-11-12	Paper
Verification of bitcoin script in Agda using weakest preconditions for access control	2024-08-01	Paper
Martin Hofmann's Case for Non-Strictly Positive Data Types	2022-07-21	Paper
How to reason coinductively informally	2020-08-07	Paper
Undecidability of equality for codata types	2018-10-23	Paper
Interactive programming in Agda -- objects and graphical user interfaces	2017-10-23	Paper
The use of trustworthy principles in a revised Hilbert's program	2017-09-27	Paper
Fibred data types	2017-07-03	Paper
A light-weight integration of automated and interactive theorem proving	2016-07-28	Paper
Coalgebras as types determined by their elimination rules	2015-06-05	Paper
Automated Verification of Signalling Principles in Railway Interlocking Systems	2015-03-18	Paper
Copatterns, programming infinite structures by observations	2014-11-27	Paper
Unnesting of copatterns	2014-07-24	Paper
A finite axiomatisation of inductive-inductive definitions	2014-06-24	Paper
State dependent IO-monads in type theory	2013-09-20	Paper
A categorical semantics for inductive-inductive definitions	2011-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q3081647	2011-03-09	Paper
Inductive-inductive definitions	2010-09-03	Paper
A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++	2009-05-08	Paper
Weak Bisimulation Approximants	2009-03-12	Paper
Universes in type theory. I. Inaccessibles and Mahlo	2008-04-14	Paper
Proof theory of Martin-Löf type theory. An overview	2008-02-08	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
Indexed induction-recursion	2005-12-22	Paper
Induction-recursion and initial algebras.	2003-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4436029	2003-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4435475	2003-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q2753682	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4944924	2000-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4934566	2000-09-15	Paper
Extending Martin-Löf type theory by one Mahlo-universe	2000-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4263867	1999-09-22	Paper
The proof-theoretic analysis of transfinitely iterated fixed point theories	1999-09-16	Paper
Well-ordering proofs for Martin-Löf type theory	1999-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4247313	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4375788	1998-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4364521	1997-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4362932	1997-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4715478	1996-11-17	Paper

Research outcomes over time

This page was built for person: Anton Setzer