BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Streicher:Thomas

Contributed to:

CSL 20112011
CSL 20062006
ICALP 20052005
LICS 20022002
LICS 19991999
LICS 19971997
LICS 19961996
ESOP 19941994
LICS 19941994
LICS 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.