Home Advanced Search

Advanced Search - Page 1

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)
Modern Perspectives in Type-Theoretical Semantics
  • PDF
  • English
  • Year: 2017
  • Author: Stergios Chatzikyriakidis, Zhaohui Luo (eds.)
Computation and reasoning. A type theory for computer science
  • DJVU
  • English
  • Year: 1994
  • Author: Zhaohui Luo
Formal Semantics in Modern Type Theories
  • PDF
  • English
  • Year: 2020
  • Author: Stergios Chatzikyriakidis; Zhaohui Luo
Formal Semantics in Modern Type Theories
  • PDF
  • English
  • Year: 2020
  • Author: Stergios Chatzikyriakidis, Zhaohui Luo
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2016
  • Author: Sam Lindley, Conor McBride, Phil Trinder, Don Sannella (eds.)
Entwicklung Haptischer Geräte: Ein Einstieg für Ingenieure
  • PDF
  • German
  • Year: 2009
  • Author: Thorsten A. Kern (auth.), Thorsten A. Kern (eds.)
Sozialwissenschaftliche Konflikttheorien: Eine Einführung
  • PDF
  • German
  • Year: 2003
  • Author: Thorsten Bonacker (auth.), Thorsten Bonacker (eds.)
Das Frankfurter Bahnhofsviertel: Devianz im öffentlichen Raum
  • PDF
  • German
  • Year: 2010
  • Author: Thorsten Benkel (auth.), Thorsten Benkel (eds.)
Entwicklung Haptischer Gerate: Ein Einstieg fur Ingenieure
  • PDF
  • German
  • Year: 2009
  • Author: Thorsten A. Kern (auth.), Thorsten A. Kern (eds.)
search