Project

Programming with spaces

We are building a programming language for manipulating topological spaces (such as real numbers or probability distributions) in a sound manner, where all functions are continuous.

Members

Publications