Zhaohui Luo – Research output — Royal Holloway Research Portal

Phone+44 1784 443431
EmailZhaohui.Luorhul.acuk
Websitehttp://www.cs.rhul.ac.uk/home/zhaohui/

TW20 0EX

35 Conference contribution
18 Article
12 Chapter (peer-reviewed)
8 Other contribution
More

1 results

Filter

1990

An Extended Calculus of Constructions
Luo, Z., 1990, (Unpublished) Univ of Edinburgh.
Research output: Thesis › Doctoral Thesis