[Agda] Classical Mathematics for a Constructive World

Jacques Carette carette at mcmaster.ca
Fri Nov 23 15:18:51 CET 2012


On 23/11/2012 9:12 AM, Peter Divianszky wrote:
>
> I noticed that "Classical Mathematics for a Constructive World" is not 
> published.

It is:
     Mathematical Structures in Computer Science / Volume 21 / Special 
Issue 04 / August 2011, pp 861-882
     DOI: http://dx.doi.org/10.1017/S0960129511000132

Jacques


More information about the Agda mailing list