An edition of Recent developments in LCF
(1983)
Recent developments in LCF
examples of structural induction.
by Lawrence C. Paulson
Share
×Close
This work doesn't have a description yet. Can you add one?
Buy this book
| Edition | Availability |
|---|---|
1
Recent developments in LCF: examples of structural induction.
1983, University of Cambridge, Computer Laboratory
in English
|
aaaa
|
Book Details
Edition Notes
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| February 13, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |