Zhaohui Luo – författare
Visar alla böcker från författaren Zhaohui Luo. Handla med fri frakt och snabb leverans.
9 produkter
Computation and Reasoning
A Type Theory for Computer Science
Av Zhaohui Luo
Inbunden, 1994
1683 kr
Lägg i varukorg
The book develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, it shows how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning.The type …
Formal Semantics in Modern Type Theories
Av Zhaohui Luo, Stergios Chatzikyriakidis
E-bok, 2020
2282 kr
Lägg i varukorg
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide powerful means for adequate semantic constructions. This offers a serious alternative to the traditional settheoretical foundation for …
Formal Semantics in Modern Type Theories
Av Zhaohui Luo, Stergios Chatzikyriakidis
E-bok, 2020
2332 kr
Lägg i varukorg
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide powerful means for adequate semantic constructions. This offers a serious alternative to the traditional settheoretical foundation for …
Formal Semantics in Modern Type Theories
Av Stergios Chatzikyriakidis, Zhaohui Luo
Inbunden, 2021
1962 kr
Lägg i varukorg
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide powerful means for adequate semantic constructions. This offers a serious alternative to the traditional settheoretical foundation for …
Modern Perspectives in Type-Theoretical Semantics
Av Stergios Chatzikyriakidis, Zhaohui Luo
Inbunden, 2017
1213 kr
Lägg i varukorg
This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. The volume fills a 20 year gap from the last published book on the issue and aspires to bring researchers closer to cutting edge alternatives in formal semantics research. …
Modern Perspectives in Type-Theoretical Semantics
Av Zhaohui Luo, Stergios Chatzikyriakidis
E-bok, 2017
1622 kr
Lägg i varukorg
This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. The volume fills a 20 year gap from the last published book on the issue and aspires to bring researchers closer to cutting edge alternatives in formal semantics research. …
Modern Perspectives in Type-Theoretical Semantics
Av Stergios Chatzikyriakidis, Zhaohui Luo
Häftad, 2018
1212 kr
Lägg i varukorg
This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. The volume fills a 20 year gap from the last published book on the issue and aspires to bring researchers closer to cutting edge alternatives in formal semantics research. …
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
552 kr
Lägg i varukorg
This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th - 12th of December, 2000 at the University of Durham, Durham, UK. It was attended by about 80 …
Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Av Robert Pollack, James McKinna m. fl.
E-bok, 2003
718 kr
Lägg i varukorg
