Back to Results
First PageMeta Content
Computer programming / Software engineering / Computing / Lisp / Functional languages / Subroutines / Programming languages / Data types / Functional programming / Defun / ACL2 / Cons


A Versatile, Sound Tool for Simplifying Definitions Alessandro Coglio Matt Kaufmann Kestrel Institute
Add to Reading List

Document Date: 2017-04-21 01:19:46

Open Document

File Size: 179,37 KB

Share Result on Facebook