Curation by fumikage141 7 hours ago for query ds decomp
Original results
-
http://arxiv.org/abs/1712.04890v3 — found via Mwmbl
[1712.04890v3] Decomposing the Univalence Axiom
Title:Decomposing the Univalence Axiom Abstract:This paper investigates Voevodsky's univalence axiom in intensional Martin-Löf type theory. In particular…
-
http://www.nature.com/articles/eye2017260 — found via Mwmbl
Orbital decompression for thyroid eye disease: methods, outcomes…
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a mo…
-
https://gist.github.com/rob-p/f7239aa719f8d850ac5c765dc4c4f679 — found via Mwmbl
Decompression speeds with some different libraries / interfaces …
You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You swit…
New results
-
http://arxiv.org/abs/1712.04890v3 — found via Mwmbl
[1712.04890v3] Decomposing the Univalence Axiom
Title:Decomposing the Univalence Axiom Abstract:This paper investigates Voevodsky's univalence axiom in intensional Martin-Löf type theory. In particular…
-
http://www.nature.com/articles/eye2017260 — found via Mwmbl
Orbital decompression for thyroid eye disease: methods, outcomes…
Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a mo…
-
https://gist.github.com/rob-p/f7239aa719f8d850ac5c765dc4c4f679 — found via Mwmbl
Decompression speeds with some different libraries / interfaces …
You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You swit…