Showing 1 - 7 results of 7 for search 'Luo, Zhaohui', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    An extended calculus of constructions

    An extended calculus of constructions by Luo, Zhaohui

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Formal semantics in modern type theories

    Formal semantics in modern type theories by Chatzikyriakidis, Stergios, Luo, Zhaohui

    Published 2020
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    CC and its meta theory

    CC and its meta theory by Luo, Zhaohui

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Dong fang fo jiao wen hua

    Dong fang fo jiao wen hua
    东方佛教文化
    by Luo Zhaohui, Jiang Yili

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Formal semantics in modern type theories

    Formal semantics in modern type theories by Chatzikyriakidis, Stergios, Luo, Zhaohui

    Published 2020
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Computation and reasoning a type theory for computer science

    Computation and reasoning a type theory for computer science by Luo, Zhaohui

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Modern Perspectives in Type-Theoretical Semantics

    Modern Perspectives in Type-Theoretical Semantics

    Published 2017
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved in:

Search Tools: