• Programming Language Foundatio...

Treffer: Programming Language Foundations in Agda

Title:
Programming Language Foundations in Agda
Formal methods: foundations and applications
Authors:
Wadler, Philip
Source:
Lecture notes in computer science. 11254:56-73
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN604410615&indx=1&recIds=ETOCCN604410615
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings