Structured theories in LCF (1983)

Cached

Download Links

by D. T. Sannella , R. M. Burstall
Venue:In Proc. 8th Colloq. on Trees in Algebra and Programming, volume 159 of Lecture Notes in Computer Science
Citations:30 - 7 self