Tootfinder

i'm currently trying to learn #linear_logic. i made less serious attempts to understand it ages ago.
i picked out "Linear Logic for Linguists" which is still more focussed on types and proofs that i would like, but the applications to grammar seem kinda interesting.
really i would prefer "linear logic for babies" that just focusses on the operators and const…

I took two of my own old papers, one about analyzing linear temporal logic, the other about student peer review of tests (from Joe Politz's PhD). Handed both the datasets to a script and had it run Laya overnight. ↵

Crosslisted article(s) found for math.AT. https://arxiv.org/list/math.AT/new
[1/1]:
- The fusion-stable tom Dieck homomorphism
Sam K. Miller
https://arxiv.org/abs/2608.12499 https://mastoxiv.page/@arXiv_mathGR_bot/117092727077804055
- Lower bounds for the Smith-Thom deficiency of Hilbert squares
Viatcheslav Kharlamov, Rare\c{s} R\u{a}sdeaconu
https://arxiv.org/abs/2608.12644 https://mastoxiv.page/@arXiv_mathAG_bot/117092783309639795
- On the sphere spectrum from the viewpoint of linear logic
Ryo Horiuchi
https://arxiv.org/abs/2608.13012 https://mastoxiv.page/@arXiv_mathCT_bot/117092735531710970
- The q-model category of multipointed d-spaces is not left proper
Philippe Gaucher
https://arxiv.org/abs/2608.13151 https://mastoxiv.page/@arXiv_mathCT_bot/117092737500425151
- Left properness of Moore flows
Philippe Gaucher
https://arxiv.org/abs/2608.13165 https://mastoxiv.page/@arXiv_mathCT_bot/117092742808254399
- Synthetic Buildings for Finite Groups
Emily Gullerud, Peter Webb
https://arxiv.org/abs/2608.13414 https://mastoxiv.page/@arXiv_mathGR_bot/117092802577906403
toXiv_bot_toot