Hoppa till sidans huvudinnehåll

Zhaohui Luo - Böcker

Visar alla böcker från författaren Zhaohui Luo.
5 produkter
Del 11 - International Series of Monographs on Computer Science

Computation and Reasoning

A Type Theory for Computer Science

Av Zhaohui Luo, Edinburgh) Luo, Zhaohui (Lecturer/Research Fellow, Department of Computer Science, Lecturer/Research Fellow, Department of Computer Science, JCMB m. fl

Inbunden, Engelska, 1994

2 079 kr

Skickas inom 7-10 vardagar

Formal Semantics in Modern Type Theories

Av Stergios Chatzikyriakidis, Zhaohui Luo m. fl

Inbunden, Engelska, 2021

2 329 kr

Skickas inom 10-15 vardagar
Del 98 - Studies in Linguistics and Philosophy

Modern Perspectives in Type-Theoretical Semantics

Av Stergios Chatzikyriakidis, Zhaohui Luo

Inbunden, Engelska, 2017

1 549 kr

Skickas inom 10-15 vardagar
Del 98 - Studies in Linguistics and Philosophy

Modern Perspectives in Type-Theoretical Semantics

Av Stergios Chatzikyriakidis, Zhaohui Luo

Häftad, Engelska, 2018

1 549 kr

Skickas inom 10-15 vardagar

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, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar