Anton Setzer

Available identifiers

zbMath Open setzer.antonWikidataQ60646026 ScholiaQ60646026MaRDI QIDQ587965

List of research outcomes

Publication	Date of Publication	Type
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	2014-11-27	Paper
Unnesting of Copatterns	2014-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4981449	2014-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q2849882	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
https://portal.mardi4nfdi.de/entity/Q5457304	2008-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5438968	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/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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anton Setzer