constructivenews

constructivenews@googlegroups.com

Description

News on constructive mathematics such as publication of new papers and discussion including topics: Bishop constructive mathematics, intuitionism, computability, realizability, type theory, topos theory, formal topology, locale theory, applications, and others.

Language

English (United States)

Privacy

Anyone on the web

can see group

Group members

can view members

Anyone on the web

can view conversations

Group members

can post but posts from new members will be held for moderation

Anyone on the web

can join group