A jramework for dejining Iogics (1993)

by R HARPER, F HONSELL, G PLOTKIN
Venue:Journal of the Association for Computing Machinery