Anton Setzer und Martin-Löf - Info zur Person

(1 - 10 von 12

)

Extending Martin-Löf Type Theory by One Mahlo-Universe.

philpapers.org

von A Setzer · · Zitiert von: 56 — Anton Setzer Annals of Pure and Applied Logic 92 (2): Realization of Constructive Set Theory Into Explicit Mathematics: A Lower Bound for ... von A Setzer · — 42. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xi + 186 pp [Book Review]. Anton Setzer. › SETEMT › SETHJR

Dr Anton Setzer

www.swansea.ac.uk

Areas of Expertise. interactive theorem proving; type theory; Martin-Loef Type Theory; Coinduction; Proof theory; dependently typed programming; ordinals ...

Twenty Five Years of Constructive Type Theory - Giovanni Sambin, Jan...

books.google.de

Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics....

Anton Setzer. Well-ordering proofs for Martin-Löf type theory. Annals...

www.cambridge.org

Anton Setzer. Well-ordering proofs for Martin-Löf type theory. Annals of pure and applied logic, vol. 92 (1998), pp. 113–159. Article author query ...

Research area of Anton Setzer

www2.math.uu.se

Anton Setzer is a prominent researcher working in the area of characterising strong predicative universes in Martin-Löf's Type Theory.

‪Anton Setzer‬ - ‪Google 学术搜索‬

0-scholar-google-com.brum.beds.ac.uk

‪Dept of Computerv Science, Swansea University‬ - ‪‪引用次数：1,452 次‬‬ - ‪Proof Theory‬ - ‪Martin-Löf Type Theory‬ - ‪inductive-recursive definitions‬ -...

Logic & Philosophy of Mathematics at Oxford

users.ox.ac.uk

W2, 15 October: Anton Setzer (Swansea), Proof theory of Martin-Loef Type Theory W3, 22 October: no seminar (RI opening) W4, 29 October: Karl-Georg ...

Proof Theory of Martin-Löf Type Theory. An overview

journals.openedition.org

We give an overview over the historic development of proof theory and the main techniques used in ordinal theoretic proof theory. We argue, that in a revised...

[TYPES] Reduction of Martin-Loef type theory with the logical...

lists.seas.upenn.edu

anton setzer A.G.Setzer at swansea.ac.uk. Tue May :09:44 EDT Previous message: [TYPES] Call for Participation: GPCE'05 - Generative ...

Alle Infos zum Namen "Anton Setzer"

Verwandte Suchanfragen zu Anton Setzer

Peter Hancock
Brigitte Pientka
Ulrich Berger

Andreas Abel
Karim Kanso
Eva Kihm

Peter Stein
Daniel Staiber Ivw
Benedikt Mayr

Person "Setzer" (3)
Vorname "Anton" (20301)
Name "Setzer" (490)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Anton Setzer und Martin-Löf Person-Info