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

Document Versions

Structured theories in LCF –D. T. Sannella, R. M. Burstall — 1983 — In Proc. 8th Colloq. on Trees in Algebra and Programming, volume 159 of Lecture Notes in Computer Science