Concepedia

Th. Streicher

TS

Statistics

Publications

2

Citations

130

H-Index

2

Active since

1998

Affiliations

Technische Universität Darmstadt(Current)

Th. Streicher is an author at Technische Universität Darmstadt specializing in computing, model theory, and computer science.

Publications per year

1998–1999

2

Publications

2

Classical logic, continuation semantics and abstract machines

Th. Streicher, Bernhard Reus · Journal of Functional Programming · 1998 · 119 citations · Full text

, , +11

Comparing models of higher type computation

Giuseppe Rosolini, Th. Streicher · Electronic Notes in Theoretical Computer Science · 1999 · 11 citations · Full text

, , +6

1–2 of 2