Sciweavers

AML
2004

A realizability interpretation for classical analysis

13 years 11 months ago
A realizability interpretation for classical analysis
We present a realizability interpretation for classical analysis
Henry Towsner
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2004
Where AML
Authors Henry Towsner
Comments (0)