
prooftheory.blog/2024/06/27/exponentials-vs-fixed-points-in-linear-logic
Preview meta tags from the prooftheory.blog website.
Linked Hostnames
15- 13 links toprooftheory.blog
- 8 links toen.wikipedia.org
- 6 links todx.doi.org
- 2 links toncatlab.org
- 2 links toplato.stanford.edu
- 2 links tosites.google.com
- 2 links towww.dicosmo.org
- 2 links towww.lix.polytechnique.fr
General Meta Tags
6- titleExponentials vs fixed points in linear logic – The Proof Theory Blog
- charsetUTF-8
- viewportwidth=device-width, initial-scale=1
- authorAnupam Das
- robotsmax-image-preview:large
Link Tags
26- EditURIhttps://prooftheory.blog/xmlrpc.php?rsd
- alternatehttps://prooftheory.blog/feed/
- alternatehttps://prooftheory.blog/comments/feed/
- alternatehttps://prooftheory.blog/2024/06/27/exponentials-vs-fixed-points-in-linear-logic/feed/
- alternatehttps://prooftheory.blog/wp-json/wp/v2/posts/2895
Links
44- http://dx.doi.org/10.1007/978-3-031-43513-3_12
- http://dx.doi.org/10.1007/978-3-540-75560-9_9
- http://dx.doi.org/10.1016/0304-3975(87)90045-4
- http://dx.doi.org/10.1145/2071368.2071370
- http://dx.doi.org/10.4230/LIPIcs.CSL.2016.42