corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0874b-4afb-71be-ad76-849e817df263

Nominal Sets

blog.ielliott.io · published 4 July 2023

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 blog.ielliott.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
30
Words captured
11,785

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://en.wikipedia.org/wiki/De_Bruijn_index
en.wikipedia.org
https://hackage.haskell.org/package/bound
hackage.haskell.org
https://github.com/lightandlight/ipso
github.com
https://en.wikipedia.org/wiki/Polymorphic_recursion
en.wikipedia.org
https://github.com/rust-lang/rust/issues/4287
github.com
https://docs.rs/moniker/latest/moniker/
docs.rs
https://crates.io/
crates.io
https://blog.ielliott.io/writing%3E
blog.ielliott.io
http://www.paulgraham.com
paulgraham.com
Putting Ideas into Words Read at the source ↗
paulgraham.com
https://stackoverflow.com/a/47762545/2884502
stackoverflow.com
https://mathworld.wolfram.com/CountablyInfinite.html
mathworld.wolfram.com
https://en.wikipedia.org/wiki/Permutation
en.wikipedia.org
https://en.wikipedia.org/wiki/Group_(mathematics
en.wikipedia.org
https://mathworld.wolfram.com/GroupAction.html
mathworld.wolfram.com
https://en.wikipedia.org/wiki/Equivalence_class
en.wikipedia.org
https://en.wikipedia.org/wiki/Equivariant_map
en.wikipedia.org
https://en.wikipedia.org/wiki/Terminal_object
en.wikipedia.org
https://en.wikipedia.org/wiki/Product_(category_theory
en.wikipedia.org
https://en.wikipedia.org/wiki/Coproduct
en.wikipedia.org
https://en.wikipedia.org/wiki/Exponential_object
en.wikipedia.org
https://en.wikipedia.org/wiki/Cartesian_closed_category
en.wikipedia.org
https://en.wikipedia.org/wiki/Initial_algebra
en.wikipedia.org
https://en.wikipedia.org/wiki/Adjoint_functors
en.wikipedia.org
https://www.hedonisticlearning.com/posts/quotient-types-for-programmers.html
hedonisticlearning.com
https://github.com/LightAndLight/binders.rs
github.com
https://doi.org/10.1016/S0890-5401(03)00138-X
doi.org
https://doi.org/10.1145/1147954.1147961
doi.org
https://doi.org/10.1145/2893582.2893594
doi.org
https://doi.org/10.1016/j.entcs.2008.12.115
doi.org