Showing 1 - 3 results of 3 for search 'Luo, Zhaohui', query time: 0.02s Refine Results
  1. 1
    Computation and reasoning : a type theory for computer science
    by Luo, Zhaohui
    Published 1994
    Book
    Save to List
    Saved in:
  2. 2
    Formal semantics in modern type theories
    Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Modern Perspectives in Type-Theoretical Semantics
    Published 2017
    Other Authors:
    Connect to this title online
    Electronic eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search