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

by Z Luo
Venue:International Series of Monographs on Computer Science