1
Published 2012
Table of Contents: ... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....
View full text
Electronic eBook