Intuitionism and computing with partial information
['Intuitionism and computing with partial information', 'Engineering and Physical Sciences Research Council', 8557, 'University of Siena', 'United Kingdom', 'research grant']