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

AvZhaohui Luo,Edinburgh) Luo, Zhaohui (Lecturer/Research Fellow, Department of Computer Science, Lecturer/Research Fellow, Department of Computer Science, JCMB,Zhaohui Luo

Inbunden, Engelska, 1994

1 289 kr

Skickas inom 5-8 vardagar

Formal Semantics in Modern Type Theories

AvStergios Chatzikyriakidis,Zhaohui Luo,Sweden) Chatzikyriakidis, Stergios (University of Gothenburg,United Kingdom) Luo, Zhaohui (Royal Holloway - University of London

Inbunden, Engelska, 2021

2 359 kr

Skickas inom 7-10 vardagar

Modern Perspectives in Type-Theoretical Semantics

AvStergios Chatzikyriakidis,Zhaohui Luo

Inbunden, Engelska, 2017

1 529 kr

Skickas inom 10-15 vardagar

Modern Perspectives in Type-Theoretical Semantics

AvStergios Chatzikyriakidis,Zhaohui Luo

Häftad, Engelska, 2018

1 529 kr

Skickas inom 10-15 vardagar

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

AvPaul Callaghan,Zhaohui Luo,James McKinna,Robert Pollack

Häftad, Engelska, 2002

699 kr

Skickas inom 10-15 vardagar