Justus Diller

Available identifiers

Publication	Date of Publication	Type
Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory	2016-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4981444	2014-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q3081635	2011-03-09	Paper
Functional interpretations of classical systems	2011-03-09	Paper
Logical problems of functional interpretations	2002-03-13	Paper
Realizability and intuitionistic logic	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184831	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3206950	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4132521	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4085710	1975-01-01	Paper
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen	1974-01-01	Paper
G-Hüllen metrischer Teilräume. (G-hulls of metric subspaces)	1973-01-01	Paper
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen	1971-01-01	Paper
Eine algebraische Beschreibung der metrischen Ebenen mit ineinander beweglichen Geraden	1970-01-01	Paper
NICHT‐PERSISTENZ DER PARALLELITÄT IN AFFINEN EBENEN	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5573380	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5541778	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5330588	1966-01-01	Paper
Zur Galoistheorie pythagoreischer Körper	1965-01-01	Paper

This page was built for person: Justus Diller