[Agda] Classical Mathematics for a Constructive World
Peter Divianszky
divipp at gmail.com
Fri Nov 23 16:00:49 CET 2012
On 23/11/2012 15:18, Jacques Carette wrote:
> 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
>
Great, thanks!
Peter
More information about the Agda
mailing list