You're looking for Grue's map theory for formalizing sets in terms of functions. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		jove_ 4 months ago \| parent \| context \| favorite \| on: Type Theory and Functional Programming (1999) [pdf... You're looking for Grue's map theory for formalizing sets in terms of functions.

ahf8Aithaex7Nai 4 months ago [–]

Thanks! It seems that in the 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact