Thomas Streicher

Identifiers

• name variant Thomas Streicher 0.60 · backfill

Papers (3)

1. Observationally-induced algebras in Domain Theory cs.LO · 2014 · author #3
2. Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes math.CT · 2014 · author #2
3. A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus math.CT · 2014 · author #1

Mentions

• 1409.1544 #3 · backfill · confidence 0.70 Thomas Streicher
• 1407.2287 #2 · backfill · confidence 0.70 Thomas Streicher
• 1407.1547 #1 · backfill · confidence 0.70 Thomas Streicher

Frequent Coauthors

• Ingo Battenfeld 1 shared papers
• Klaus Keimel 1 shared papers
• Samuele Maschio 1 shared papers