By Tofte Mads   in LISP and Symbolic Computation

ISSN:1388-3690|17|3|245-265

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 23.308882

Proof, Language, and Interaction‎

By Plotkin   Gordon;Stirling   Colin P.;Tofte   Mads  

ISBN:9780262281676

MIT Press‎(2000)‎

Access to resources Favorite 12.820084