Search Graph CLI Topics Blogs Events Posts Papers Patents Feed Talks Photos Add your work My graph

Loading devreal.ai…

Community index online

Built for the people who make technology make sense.

© 2026 devreal.ai

New on DevRealMojo 1.0 and open source: our ModCon 2026 videosRead and watch ↗

New on FunctionalTVVideos from DataFusion meetup at LangChain are upWatch the videos ↗

Upcoming eventApache Spark NYC Meetup · Aug 26Read announcement ↗

The First Spark1st Spark meetup in the worldRelive the miracle of discovering Spark! ↗

New on FunctionalTVRust AI Begins recordings are liveWatch all 12 ↗

Recently verified

@jesusvilelaJesús Vilela JatoClaimed profile ↗@jameswardJames WardClaimed profile ↗@schwentkerRobert SchwentkerClaimed profile ↗@etorreborreEric TorreborreClaimed profile ↗@mileschintwTsungWei ChinClaimed profile ↗@newfrontScott HainesClaimed profile ↗@devtyTyler SingletaryClaimed profile ↗@nyghtowlMelanie WarrickClaimed profile ↗@alexyAlexy KhrabrovClaimed profile ↗

Classical mathematics for a constructive world — devreal.ai

← Back to papers

paper · community record

Classical mathematics for a constructive world

A connected record in the developer community graph.

Read paper ↗Add or suggest a connection ↗

01

Connections

1 relationship

authored · incomingRussell O'Connorperson ↗

02

Provenance

Type: paper
Status: Imported / unclaimed
doi: 10.1017/s0960129511000132
year: 2011
venue: Mathematical Structures in Computer Science
source: bythebay
pdf_url: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/4EA7A6D9A03EF4F44D9BEAABD0EF515A/S0960129511000132a.pdf/div-class-title-classical-mathematics-for-a-constructive-world-div.pdf
citation_count: 6