Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Streicher, Thomas"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
About Hoare logics for higher-order store
Bernhard Reus
,
Thomas Streicher
Lecture Notes in Computer Science
3580
, 2005, pp. 1337-1348
Semantics and logic of object calculi
Bernhard Reus
,
Thomas Streicher
Theoretical Computer Science
316
(1-3), 2004, pp. 191-213
Completeness of continuation models for
\lambda_\mu
-calculus
Martin Hofmann
,
Thomas Streicher
Information and Computation
179
(2), 2002, pp. 332-355
Induction and recursion on the partial real line with applications to REAL PCF
Martín Hötzel Escardó
,
Thomas Streicher
Theoretical Computer Science
210
(1), 1999, pp. 121-157
Reduction-free normalisation for a polymorphic system
Thorsten Altenkirch
,
Martin Hofmann
,
Thomas Streicher
Proceedings of the 4th Israel Symposium on Theory of Computing and Systems, ISTCS'96 (Jerusalem, Israel, June 10-12, 1996)
, 1996, pp. 146-146
Verifying properties of module construction in type theory
Bernhard Reus
,
Thomas Streicher
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(Gdańsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 660-670
Modular functional modelling of Petri nets with individual tokens
Manfred Broy
,
Thomas Streicher
Lecture Notes in Computer Science
609
, 1992, pp. 70-88
Independence of the induction principle and the axiom of choice in the pure calculus of constructions
Thomas Streicher
Theoretical Computer Science
103
, 1992, pp. 395-408