Concepedia

Thomas Streicher

TS

Statistics

Publications

22

Citations

633

H-Index

18

Active since

1992

Affiliations

Technical University of Darmstadt(Current)

University of Edinburgh

Ludwig-Maximilians-Universität München

Darmstadt University of Applied Sciences

University of Passau

Thomas Streicher is an author at Technical University of Darmstadt specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsComputer ScienceLanguageLinguisticsFunctional AnalysisMathematical FoundationsFormal Logic

Publications per year

1992–2018

22

Publications

22

The groupoid model refutes uniqueness of identity proofs

Martin Hofmann, Thomas Streicher · 2002 · 92 citations

Algebraic Logic, Identity Proofs, Type Theory +7

Games semantics for linear logic

Yves Lafont, Thomas Streicher · 2002 · 70 citations

Computational Logic, Formal Logic, Engineering +14

Practical Foundations of Mathematics

Thomas Streicher · Science of Computer Programming · 2000 · 51 citations

Mathematics Education, Constructive Mathematics, Practical Foundations +2

Continuation models are universal for lambda-mu-calculus

Martin Hofmann, Thomas Streicher · Logic in Computer Science · 1997 · 37 citations

Continuation-style Interpretation, Engineering, Generalized Function +12

Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice

Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio et al. · Archive for Mathematical Logic · 2018 · 34 citations · Full text

Minimalist Foundation, Intensional Level, Epistemology +4

1–5 of 22