Church-style Typing and Intersection Types: Glimpses of Benjamin Pierce's Dissertation

Iowa Type Theory Commute
12/04/2021 13 min Temporada 2 Episodio 24
Church-style Typing and Intersection Types: Glimpses of Benjamin Pierce's Dissertation

Listen "Church-style Typing and Intersection Types: Glimpses of Benjamin Pierce's Dissertation"

Descargar episodio

Episode Synopsis

I was reading Benjamin Pierce's dissertation, and learning some intriguing things about intersection types in the context of Church-style typing.  I summarize the parts of this I comprehended so far.
© 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