John
@haskallcurry
Math, type theory. DM your favorite semantics for the univalence axiom. Dualist. Transhumanist. Proud reddit atheist.
ID: 1659602786651078657
19-05-2023 16:52:11
1,1K Tweet
100 Followers
91 Following
@haskallcurry
Math, type theory. DM your favorite semantics for the univalence axiom. Dualist. Transhumanist. Proud reddit atheist.
ID: 1659602786651078657
19-05-2023 16:52:11
1,1K Tweet
100 Followers
91 Following