corpus.blog
41,554 blogs · 4,981,167 posts Claim your blog
Record · corpus.blog/posts/01a087de-12d7-7254-8bc3-1c26da00c49f

The Computational Trilogy: Three Languages for One Structure

seniormars.com · published 27 February 2025

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 seniormars.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
17
Words captured
5,253

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://ncatlab.org/nlab/show/computational+trilogy
ncatlab.org
https://doi.org/10.1017/CBO9780511525858
doi.org
The Holy Trinity Read at the source ↗
existentialtype.wordpress.com
https://doi.org/10.1145/2699407
doi.org
https://arxiv.org/abs/0903.0340
arxiv.org
https://lean-lang.org/theorem_proving_in_lean4/
lean-lang.org
https://rocq-prover.org/
rocq-prover.org
https://doi.org/10.1016/0890-5401(91
doi.org
https://doi.org/10.1145/96709.96714
doi.org
https://homotopytypetheory.org/book/
homotopytypetheory.org
https://home.sandiego.edu/~shulman/papers/trinity.pdf
home.sandiego.edu
https://agda.readthedocs.io/en/latest/language/cubical.html
agda.readthedocs.io
https://doi.org/10.1016/0304-3975(87
doi.org
https://doi.org/10.1093/jigpal/jzag037
doi.org
https://doi.org/10.1109/LICS.2004.1319636
doi.org
https://arxiv.org/abs/0908.3347
arxiv.org
https://learn.microsoft.com/en-us/azure/quantum/concepts-qir
learn.microsoft.com