Bibliography

Zhaohui Luo

Computation and Reasoning - A Type Theory for Computer Science

International Series of Monographs on Computer Science 11

Oxford Science Publications 1994

ISSBN 0 19 853835 9

Last updated on 16 February 1995 by Thomas Schreiber <lego@dcs.ed.ac.uk>