Re:Type Theory and Functional Programming (1999) [pdf]
by jove_ on Thursday October 02, 2025 @10:34AM
(#45450176)
You're looking for Grue's map theory for formalizing sets in terms of functions.
[ Parent
| on HN ]
Re:Type Theory and Functional Programming (1999) [pdf]
by ahf8Aithaex7Nai on Thursday October 02, 2025 @03:00PM
(#45453905)
Thanks! It seems that in metatheory, one can resort to type theory in order to avoid having to fall back on set theory in a circular manner. Unfortunately, I don't know anything about that, but I'll take a closer look at it.