Structured theories (1983)

by D Sannella, R Burstall
Venue:in LCF, in ‘Proc. 8th Colloq. on Trees in Algebra and Programming’, Vol. 159 of LNCS