Number of items: 1.
Conference or workshop item
|
Boiten, Eerke and Grundy, Dan
(2010)
The Logic of Large Enough.
In: MPC 2010: Mathematics of Program Construction.
The full text of this publication is not available from this repository.
|
|
This list was generated on Sun May 26 09:05:13 2013 BST.
