10 results
Type of media (2)
Availability (2)
Language (2)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
10 results

Your search for Zhaohui Luo

  1. Cover: Formal Semantics in Modern Type Theories - Wiley
    Stergios Chatzikyriakidis | Zhaohui Luo
    Formal Semantics in Modern Type Theories
    12/2020
    1st EDN1st Edition
    Wiley
    9781119489221 (ISBN)
    E-Book
    PDF
    Other editions
    €139.99
    Available for download
  2. Cover: Formal Semantics in Modern Type Theories - Wiley
    Stergios Chatzikyriakidis | Zhaohui Luo
    Formal Semantics in Modern Type Theories
    12/2020
    1st EDN1st Edition
    Wiley
    9781119489214 (ISBN)
    E-Book
    ePUB
    Other editions
    €139.99
    Available for download
  3. Cover: Modern Perspectives in Type-Theoretical Semantics - Springer
    Stergios Chatzikyriakidis | Zhaohui Luo
    Modern Perspectives in Type-Theoretical Semantics
    02/2017
    Springer
    9783319504223 (ISBN)
    E-Book
    PDF
    Other editions
    €106.99
    Available for download
  4. Cover: Types for Proofs and Programs - Springer
    Paul Callaghan | Zhaohui Luo | James McKinna
    Types for Proofs and Programs
    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    08/2003
    Springer
    9783540458425 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Modern Perspectives in Type-Theoretical Semantics - Springer
    Stergios Chatzikyriakidis | Zhaohui Luo
    Modern Perspectives in Type-Theoretical Semantics
    02/2017
    Springer
    9783319504209 (ISBN)
    Book
    Hardback
    Other editions
    €117.69
    Shipment within 10-15 days
  6. Cover: Modern Perspectives in Type-Theoretical Semantics - Springer
    Stergios Chatzikyriakidis | Zhaohui Luo
    Modern Perspectives in Type-Theoretical Semantics
    07/2018
    Springer
    9783319843971 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €117.69
    Shipment within 10-15 days
  7. Cover: Types for Proofs and Programs - Springer
    Paul Callaghan | Zhaohui Luo | James McKinna
    Types for Proofs and Programs
    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    02/2002
    Springer
    9783540432876 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Formal Semantics in Modern Type Theories - Wiley-ISTE
    Stergios Chatzikyriakidis | Zhaohui Luo
    Formal Semantics in Modern Type Theories
    03/2021
    1st EDN1st Edition
    Wiley-ISTE
    9781786301284 (ISBN)
    Book
    Hardback
    Other editions
    €164.50
    Shipment within 3-4 weeks
  9. Cover: Computation and Reasoning - Clarendon Press
    Zhaohui Luo
    Computation and Reasoning
    A Type Theory for Computer Science
    03/1994
    Clarendon Press
    9780198538356 (ISBN)
    Book
    Hardback
    Other editions
    €114.50
    Shipment within 15-20 days
  10. This image is currently not available.
    Yili Jiang | Zhaohui Luo
    Fo Jing Gu Shi
    12/1997
    Hua Wen Chu Ban She: Jing Xiao Xin Hua Shu Dian
    9787507505825 (ISBN)
    Book
    Hardback
    €34.72
    No shipping information available