41554 blogs · 4,504,310 posts Claim your blog

Record · corpus.blog/posts/01a08798-eca8-728e-ace6-978005f104b7

Set theory with types

Machine Logic · published 21 November 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 lawrencecpaulson.github.io Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 14
Words captured: 2,373

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://automath.win.tue.nl/archive/pdf/aut032.pdf

automath.win.tue.nl

https://lawrencecpaulson.github.io/tag/AUTOMATH

lawrencecpaulson.github.io

https://en.wikipedia.org/wiki/Aronszajn_tree

en.wikipedia.org

https://www.cam.ac.uk/news/professor-roger-needham-1935-2003

cam.ac.uk

https://plato.stanford.edu/entries/principia-mathematica/

plato.stanford.edu

https://plato.stanford.edu/entries/type-theory-church/

plato.stanford.edu

https://rdcu.be/eQa72

rdcu.be

https://doi.org/10.1145/3386336

doi.org

https://www.gnu.org/software/emacs/manual/html_node/elisp/Mapping-Functions.html

gnu.org

https://rdcu.be/cWkY5

rdcu.be

https://isa-afp.org/entries/HereditarilyFinite.html

isa-afp.org

https://arxiv.org/pdf/1505.01662

arxiv.org

https://www.quantamagazine.org/a-new-bridge-links-the-strange-math-of-infinity-to-computer-science-20251121/

quantamagazine.org

https://research.tue.nl/en/publications/on-the-roles-of-types-in-mathematics/

research.tue.nl