Thomas Streicher
发表
Thomas Streicher,
2017,
Log. Methods Comput. Sci..
Thomas Streicher,
Paulo Oliva,
2008,
Fundam. Informaticae.
Thomas Streicher,
Bernhard Reus,
T. Streicher,
2011,
CSL.
Thomas Streicher,
Yves Lafont,
Y. Lafont,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Thomas Streicher,
2006
.
Thomas Streicher,
1984,
ADT.
Martin Hofmann,
Thorsten Altenkirch,
Thomas Streicher,
1995,
Category Theory and Computer Science.
Martin Hofmann,
Thomas Streicher,
M. Hofmann,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Thomas Streicher,
T. Streicher,
2014,
J. Appl. Log..
Martin Hofmann,
Thomas Streicher,
2002,
Inf. Comput..
Thomas Streicher,
Giuseppe Rosolini,
1999,
Electron. Notes Theor. Comput. Sci..
Martin Hofmann,
Thomas Streicher,
Jaap van Oosten,
2006,
Arch. Math. Log..
Thomas Streicher,
Martín Hötzel Escardó,
T. Streicher,
2016,
Ann. Pure Appl. Log..
Thomas Streicher,
2005,
From sets and types to topology and analysis.
Thomas Streicher,
Andy Mück,
T. Streicher,
1994,
ESOP.
Thomas Streicher,
2006
.
Thomas Streicher,
Martin Pape,
T. Streicher,
2016,
Log. Methods Comput. Sci..
Thomas Streicher,
Bernhard Reus,
T. Streicher,
2005,
ICALP.
Thomas Streicher,
Bernhard Reus,
T. Streicher,
1993,
MFCS.
Thomas Streicher,
Ulrich Kohlenbach,
2007,
Math. Log. Q..
Klaus Keimel,
Thomas Streicher,
Ingo Battenfeld,
2014,
Log. Methods Comput. Sci..
Thomas Streicher,
Steven Awodey,
Alex K. Simpson,
2014,
Ann. Pure Appl. Log..
Thomas Streicher,
Peter Lietz,
T. Streicher,
2012,
Ann. Pure Appl. Log..
Thomas Streicher,
Bernhard Reus,
2012,
Ann. Pure Appl. Log..
Thomas Streicher,
T. Streicher,
2006
.
Thomas Streicher,
Bernhard Reus,
T. Streicher,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Thomas Streicher,
Bernhard Reus,
T. Streicher,
1999
.
Thomas Streicher,
T. Streicher,
1989
.
Klaus Keimel,
Thomas Streicher,
A. Rosenbusch,
2009,
Ann. Pure Appl. Log..
Thomas Streicher,
Samuele Maschio,
T. Streicher,
2014,
Ann. Pure Appl. Log..
Thomas Streicher,
Bernhard Reus,
T. Streicher,
1998,
Journal of Functional Programming.
Thomas Streicher,
T. Streicher,
1992,
Theor. Comput. Sci..
Manfred Broy,
Thomas Streicher,
M. Broy,
1991,
International Journal of Parallel Programming.
Thomas Streicher,
Hajime Ishihara,
Maria Emilia Maietti,
2018,
Archive for Mathematical Logic.
Thomas Streicher,
Martin Wirsing,
T. Streicher,
1990,
ADT.
Thomas Streicher,
Bernhard Reus,
2002,
LICS 2002.
Thomas Streicher,
1991
.
Thomas Streicher,
2006
.
Thomas Streicher,
Alex K. Simpson,
T. Streicher,
2012,
Ann. Pure Appl. Log..
Thomas Streicher,
Gary Gruenhage,
2006,
Math. Struct. Comput. Sci..
Manfred Broy,
Thomas Streicher,
1992,
Advances in Petri Nets: The DEMON Project.
Thomas Streicher,
1989,
Category Theory and Computer Science.
Thomas Streicher,
1991
.
Thomas Streicher,
Martín Hötzel Escardó,
T. Streicher,
1999,
Theor. Comput. Sci..
Thomas Streicher,
T. Streicher,
1999,
Appl. Categorical Struct..
Klaus Keimel,
Thomas Streicher,
Bernhard Reus,
2010,
Math. Struct. Comput. Sci..
Thomas Streicher,
Tobias Löw,
T. Streicher,
2006,
CSL.
Martin Hofmann,
Thorsten Altenkirch,
Thomas Streicher,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Thomas Streicher,
T. Streicher,
1994,
Mathematical Structures in Computer Science.
Klaus Keimel,
Thomas Streicher,
A. Rosenbusch,
2011,
Theor. Comput. Sci..
Bart Jacobs,
Thomas Streicher,
Eugenio Moggi,
1991,
Category Theory and Computer Science.
Thomas Streicher,
Martín Hötzel Escardó,
T. Streicher,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Thomas Streicher,
2000
.
Thomas Streicher,
T. Streicher,
1991,
Progress in theoretical computer science.
Thomas Streicher,
Martín Hötzel Escardó,
2002,
Math. Log. Q..
Thomas Streicher,
Bernhard Reus,
1999
.
Thomas Streicher,
Peter Lietz,
T. Streicher,
2002,
Mathematical Structures in Computer Science.
Thomas Streicher,
1992,
Math. Struct. Comput. Sci..
Thomas Streicher,
Michael Marz,
Alexander Rohr,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Martin Hofmann,
Thomas Streicher,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Thomas Streicher,
Bernhard Reus,
T. Streicher,
1997,
Mathematical Structures in Computer Science.
Thomas Streicher,
1999,
CTCS.
Thomas Streicher,
2013,
Math. Struct. Comput. Sci..
Martin Hofmann,
Thomas Streicher,
Martín Hötzel Escardó,
2004,
Mathematical Structures in Computer Science.
Thomas Streicher,
Steven Awodey,
Alex K. Simpson,
2007,
Bulletin of Symbolic Logic.
Manfred Broy,
Thomas Streicher,
M. Broy,
1986,
Mathematical Models for the Semantics of Parallelism.
Thomas Streicher,
1991
.
Thomas Streicher,
David J. Pym,
Eike Ritter,
2021
.
Richard Garner,
Thomas Streicher,
2021
.
Thomas Streicher,
T. Streicher,
2008
.
Thomas Streicher,
Alex Simpson,
Steve Awodey,
2003
.
Thomas Streicher,
T. Streicher,
1996
.
Martin Hofmann,
Thomas Streicher,
M. Hofmann,
1997,
LICS 1997.
Thomas Streicher,
T. Streicher,
1997
.
Thomas Streicher,
Martín Hötzel Escardó,
2002
.
François Lamarche,
Thomas Streicher,
Guillaume Bonfante,
2001
.
Martin Hofmann,
Thomas Streicher,
1997
.