Comment by wisnesky

7 years ago

Check out http://categoricaldata.net for a categorical approach to database theory that uses a labeled null semantics from type theory.

0 comments