Zhaohui Luo – författare

Visar alla böcker från författaren Zhaohui Luo.

5 produkter

1. 

   Computation and Reasoning

   A Type Theory for Computer Science

   Av Zhaohui Luo

   Inbunden, 1994

   2239 kr

   Lägg i varukorg

2. 

   Formal Semantics in Modern Type Theories

   Av Stergios Chatzikyriakidis, Zhaohui Luo

   Inbunden, 2021

   2499 kr

   Lägg i varukorg

3. 

   Modern Perspectives in Type-Theoretical Semantics

   Av Stergios Chatzikyriakidis, Zhaohui Luo

   Inbunden, 2017

   1549 kr

   Lägg i varukorg

4. 

   Modern Perspectives in Type-Theoretical Semantics

   Av Stergios Chatzikyriakidis, Zhaohui Luo

   Häftad, 2018

   1549 kr

   Lägg i varukorg

5. 

   Types for Proofs and Programs

   International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

   Av Paul Callaghan, Zhaohui Luo m. fl.

   Häftad, 2002

   709 kr

   Lägg i varukorg