• From SOS Rules to Proof Princi...

Treffer: From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages

Title:
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages
Principles of programming languages
Authors:
Sands, D.
Source:
CONFERENCE RECORD OF THE ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 24:428-441
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN021003113&indx=1&recIds=ETOCCN021003113
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings