What do we want a foundation to do? Posted by kraitis on Thursday May 17, 2018 @05:23PM from the academia.edu dept. https://www.academia.edu/36650692/What_do_we_want_a_foundation_to_do_Comparing_set-theoretic_category-theoretic_and_univalent_approaches ( no comments | 2 points | on HN )
There are no comments yet.