Classical mathematics for a constructive world
The work
| Title | Classical mathematics for a constructive world |
|---|---|
| Authors | Russell O'Connor |
| Type | article |
| Year | 2011 |
| Citekey | oconnor2011classical |
Where it appeared
| Published in | Mathematical Structures in Computer Science |
|---|---|
| Volume | 21 |
| Issue | 4 |
| Pages | 861--882 |
Copy held
| Kind | PDF, 335.0 kB |
|---|---|
| Retrieved | 2026-08-08 |
| Held | local, for personal reference |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-08 |
Cite it as
@article{oconnor2011classical,
title = {Classical mathematics for a constructive world},
author = {Russell O'Connor},
year = {2011},
journal = {Mathematical Structures in Computer Science},
volume = {21},
number = {4},
pages = {861--882},
}
This record lives at https://refs.drheap.org/oconnor2011classical/ and will keep doing so.