Home Advanced Search

Advanced Search - Page 1

Computation and reasoning. A type theory for computer science
  • DJVU
  • English
  • Year: 1994
  • Author: Zhaohui Luo
Computation and Reasoning: A Type Theory for Computer Science
  • PDF
  • English
  • Year: 1994
  • Author: Zhaohui Luo
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
Modern Perspectives in Type-Theoretical Semantics
  • PDF
  • English
  • Year: 2017
  • Author: Stergios Chatzikyriakidis, Zhaohui Luo (eds.)
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.)
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.)
Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers
  • PDF
  • English
  • Year: 2002
  • Author: Peter Aczel, Nicola Gambino (auth.), Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack (eds.)
Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers
  • PDF
  • English
  • Year: 2002
  • Author: Peter Aczel, Nicola Gambino (auth.), Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack (eds.)
search