Showing changes from revision #32 to #33:
Added | Removed | Changed
Here we collect articles about doing higher algebra or homotopical algebra in HoTT.
sequential differential operator?
sequential linear differential equation?
sequential exponential?
sequential sine?
sequential cosine?
bidirectional shift operators?