constructivenews
Contact owners and managers
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
Anyone on the web
can ask to join group