Edinburgh LCF: A Mechanized Logic (0)

by M Gordon, R Milner, C Wadsworth
Venue:of Lecture Notes in Computer Science