home
portfolio
blog
about
[github]
[linkedin]
[x]
[chat]
[dark]
writing
2026-07-10
Various Models of Linear Logic