Zhaohui Luo
7 published titles
Program specification and data refinement in type theory
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
A unifying theory of dependent types I
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Inductive data types : well-ordering types revisited
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
LEGO proof development system : user's manual
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
A set-theoretic setting for structuring theories in proof development
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
A unifying theory of dependent types : the schematic approach
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Computation and reasoning : a type theory for computer science
1 edition
- ISBN: 0198538359
- Clarendon
- 1994
- Details
