Z.: Computation and Reasoning: A Type Theory for Computer (1994)

by Luo
Venue:Science, International Series of Mono-graphs on Computer Science