advancedresearch / path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics
MIT License
160 stars 13 forks source link

Added paper about motivation for homotopy levels #1230

Closed bvssvni closed 2 years ago