Yazar
Zhaohui Luo
9 cilt bulundu.
Cilt sonuçları
Types for proofs and programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack · Springer London, Limited
243 sayfa · 2002
Congresses / Computer programming / Automatic theorem proving / Computer science / Logic design
Formal Semantics in Modern Type Theories
Stergios Chatzikyriakidis, Zhaohui Luo · Wiley & Sons, Incorporated, John
256 sayfa · 2020
Kategori yok
Fu nong yu xin fu nong
Zhaohui Luo · Ren min chu ban she
382 sayfa · 2010
Landlords / Rural conditions / Rural development / History / Villages
CC and its meta theory
Zhaohui Luo · University of Edinburgh, Laboratory for Foundations of Computer Science
38 sayfa · 1988
Kategori yok
A higher-order calculus and theory abstraction
Zhaohui Luo · University of Edinburgh, Laboratory for Foundations ofComputer Science
28 sayfa · 1988
Kategori yok