RSS

jessicata(Jessica Taylor)

Karma: 4,670

Model­ing nat­u­ral­ized de­ci­sion prob­lems in lin­ear logic

jessicata
6 May 2020 0:15 UTC
15 points
2 comments6 min readLW link
(unstableontology.com)

Topolog­i­cal meta­physics: re­lat­ing point-set topol­ogy and lo­cale theory

jessicata
1 May 2020 3:57 UTC
13 points
6 comments3 min readLW link
(unstableontology.com)