Adding a top type and allowing non-normalizing terms

Iowa Type Theory Commute
04/02/2020 14 min Temporada 1 Episodio 37
Adding a top type and allowing non-normalizing terms

Listen "Adding a top type and allowing non-normalizing terms"

Descargar episodio

Episode Synopsis

Curry-style typing and realizability make it sensible to allow a top type to type every term, even non-normalizing ones.
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA