corpus.blog
41,554 blogs · 4,819,422 posts Claim your blog
Record · corpus.blog/posts/01a08792-6592-735f-876a-11f5a3f5cc86

Framework Lexicon

kimjune01 · published 21 March 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at june.kim Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
42
Words captured
3,095

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/abs/weakest-preconditions-in-fibrations/657A41FD194D8CC5E4662B71F2E1454E
cambridge.org
https://arxiv.org/abs/1908.07021
arxiv.org
https://doi.org/10.1007/978-3-030-72019-3_9
doi.org
https://github.com/kimjune01/natural-framework/blob/master/NaturalFramework/Hoare/Graded.lean
github.com
https://arxiv.org/abs/2601.14846
arxiv.org
https://github.com/kimjune01/natural-framework/blob/master/NaturalFramework/Hoare/Comp.lean
github.com
https://arxiv.org/abs/2507.18238
arxiv.org
https://arxiv.org/abs/2405.09391
arxiv.org
https://github.com/kimjune01/natural-framework
github.com
https://arxiv.org/abs/2206.05716
arxiv.org
https://link.springer.com/chapter/10.1007/978-3-031-38271-0_27
link.springer.com
https://github.com/kimjune01/natural-framework/blob/master/NaturalFramework/Hoare/Divergence.lean
github.com
https://arxiv.org/abs/2308.00651
arxiv.org
https://github.com/kimjune01/natural-framework/blob/master/NaturalFramework/Support.lean
github.com
https://arxiv.org/abs/1910.03752
arxiv.org
https://github.com/kimjune01/natural-framework/blob/master/NaturalFramework/Contracts.lean
github.com
https://github.com/kimjune01/natural-framework/blob/master/NaturalFramework/Hoare/Static.lean
github.com
https://www.cambridge.org/core/books/entropy-and-diversity/496CF94AEA7B33F15904BD4FC8CC2369
cambridge.org
https://dl.acm.org/doi/10.1145/3473577
dl.acm.org
https://arxiv.org/abs/2105.06332
arxiv.org
https://arxiv.org/abs/1603.04641
arxiv.org
https://arxiv.org/abs/2109.04461
arxiv.org
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.24
drops.dagstuhl.de
https://arxiv.org/abs/2001.08375
arxiv.org
https://arxiv.org/abs/1512.05813
arxiv.org
https://github.com/kimjune01/natural-framework/blob/master/NaturalFramework/Hoare/Effects.lean
github.com
https://arxiv.org/abs/2502.03477
arxiv.org
https://www.worldscientific.com/worldscibooks/10.1142/p595
worldscientific.com
https://arxiv.org/abs/1305.0297
arxiv.org
https://en.wikipedia.org/wiki/Traced_monoidal_category
en.wikipedia.org
https://arxiv.org/abs/1106.1791
arxiv.org
https://arxiv.org/abs/2212.11719
arxiv.org
https://doi.org/10.1016/S0049-237X(99
doi.org
https://github.com/kimjune01/natural-framework/blob/master/NaturalFramework/Variational.lean
github.com
https://arxiv.org/abs/2105.06908
arxiv.org
https://www.cs.ru.nl/B.Jacobs/PAPERS/ProbabilisticReasoning.pdf
cs.ru.nl
https://arxiv.org/abs/2303.00879
arxiv.org
https://arxiv.org/abs/1807.10637
arxiv.org
https://arxiv.org/abs/2312.17141
arxiv.org
https://compositionality.episciences.org/13509
compositionality.episciences.org
https://arxiv.org/abs/2009.06831
arxiv.org
https://arxiv.org/abs/2507.15530
arxiv.org
Elsewhere on june.kim (6)