Home Advanced Search

Advanced Search - Page 1

Semantics of Type Theory: Correctness, Completeness and Independence Results
  • PDF
  • English
  • Year: 1991
  • Author: Thomas Streicher (auth.)
Logik für Informatiker [Lecture notes]
  • PDF
  • German
  • Year: 2002
  • Author: Thomas Streicher
Introduction to Category Theory and Categorical Logic [Lecture notes]
  • PDF
  • English
  • Year: 2017
  • Author: Thomas Streicher
Categorical Models of Constructive Logic [Lecture notes]
  • PDF
  • English
  • Year: 2013
  • Author: Thomas Streicher
Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]
  • PDF
  • German
  • Year: 2002
  • Author: Thomas Streicher
Semantics of type theory: correctness, completeness and independence results
  • DJVU
  • English
  • Year: 1991
  • Author: Streicher, Thomas
Fibred categories à la Jean Bénabou
  • PDF
  • English
  • Year: 2019
  • Author: Thomas Streicher
Domain-theoretic Foundations of Functional Programming
  • PDF
  • English
  • Year: 2006
  • Author: Thomas Streicher
Domain-theoretic foundations of functional programming
  • DJVU
  • English
  • Year: 2006
  • Author: Thomas Streicher
Regenerative Energien in Österreich: Grundlagen, Systemtechnik, Umweltaspekte, Kostenanalysen, Potenziale, Nutzung
  • PDF
  • German
  • Year: 2009
  • Author: Martin Kaltschmitt, Wolfgang Streicher (auth.), Martin Kaltschmitt, Wolfgang Streicher (eds.)
search