Travelled to:1 × Denmark
1 × France
1 × Hungary
1 × Italy
1 × Norway
1 × Poland
1 × Portugal
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:B.Reus M.Hofmann T.Löw M.H.Escardó A.Mück Y.Lafont M.Marz A.Rohr T.Altenkirch
Talks about:logic (5) univers (3) semant (3) model (3) function (2) continu (2) polymorph (1) constrain (1) normalis (1) groupoid (1)
Person: Thomas Streicher
DBLP: Streicher:Thomas
Contributed to:
20112006
2005
2002199919971996
199419941991Wrote 11 papers:
- CSL-2011-ReusS #functional #logic #source code
- Relative Completeness for Logics of Functional Programs (BR, TS), pp. 470–480.
- CSL-2006-LowS #modelling
- Universality Results for Models in Locally Boolean Domains (TL, TS), pp. 456–470.
- ICALP-2005-ReusS #higher-order #hoare #logic
- About Hoare Logics for Higher-Order Store (BR, TS), pp. 1337–1348.
- LICS-2002-ReusS #calculus #logic #semantics
- Semantics and Logic of Object Calculi (BR, TS), p. 113–?.
- LICS-1999-MarzRS #abstraction
- Full Abstraction and Universality via Realisability (MM, AR, TS), pp. 174–182.
- LICS-1997-EscardoS #algebra #induction #recursion
- Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras (MHE, TS), pp. 376–386.
- LICS-1997-HofmannS #continuation #modelling #λ-calculus #μ-calculus
- Continuation Models are Universal for λμ-Calculus (MH, TS), pp. 387–395.
- LICS-1996-AltenkirchHS #normalisation #polymorphism
- Reduction-Free Normalisation for a Polymorphic System (TA, MH, TS), pp. 98–106.
- ESOP-1994-MuckS #continuation #functional #logic #semantics
- A Tiny Constrain Functional Logic Language and Its Continuation Semantics (AM, TS), pp. 439–453.
- LICS-1994-HofmannS #proving
- The Groupoid Model Refutes Uniqueness of Identity Proofs (MH, TS), pp. 208–212.
- LICS-1991-LafontS #game studies #linear #logic #semantics
- Games Semantics for Linear Logic (YL, TS), pp. 43–50.