mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Server stats:

8.9K
active users

#UnivalentFoundations

0 posts0 participants0 posts today

Master thesis by Arnoud van der Leer: Universal Algebra, Univalent Foundations and the Untyped λ-Calculus

"This thesis studies and expands upon Martin Hyland’s paper ‘Classical lambda calculus in modern dress’. [...] The thesis translates Hyland’s paper from set theory with classical logic to univalent foundations, and showcases where subtleties arise in such a translation."

repository.tudelft.nl/record/u

repository.tudelft.nlUniversal Algebra, Univalent Foundations and the Untyped λ-Calculus | TU Delft Repository