Justus Diller

Publications by Year

Research Areas

Computability, Logic, AI Algorithms, Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Advanced Algebra and Logic, History and Theory of Mathematics

Most-Cited Works

• → Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen(1974)74 cited
• → Realizability and Intuitionistic Logic(1984)18 cited
• → Simultane Rekursionen in der Theorie der Funktionale endlicher Typen(1971)13 cited
• → Intensionale Funktionalinterpretation der Analysis(1975)11 cited
• → Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen(1968)9 cited
• → Eine algebraische Beschreibung der metrischen Ebenen mit ineinander beweglichen Geraden(1970)7 cited
• → ⊨ISILC Proof Theory Symposion(1975)7 cited
• → G-H�llen metrischer Teilr�ume(1973)5 cited
• → Logical problems of functional interpretations(2002)4 cited