Home Advanced Search

Advanced Search - Page 1

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
Semantics of Type Theory: Correctness, Completeness and Independence Results
  • PDF
  • English
  • Year: 1991
  • Author: Thomas Streicher (auth.)
Extra-planetary experiences : alien-human contact and the expansion of consciousness
  • EPUB
  • English
  • Year: 2012
  • Author: Thomas James Streicher Ph.D., Stanley Krippner Ph.D
search