By Plotkin Gordon   in Formal Aspects of Computing

ISSN:0934-5043|13|3-5|364-385

Springer Publishing Company ‎(2002)‎

Access to resources Favorite 17.560764

Proof, Language, and Interaction‎

By Plotkin   Gordon;Stirling   Colin P.;Tofte   Mads  

ISBN:9780262281676

MIT Press‎(2000)‎

Access to resources Favorite 9.658367