<p>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.</p>

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.

<p>I was reading Benjamin Pierce's dissertation, and learning some intriguing things about intersection types in the context of Church-style typing.&nbsp; I summarize the parts of this I comprehended so far.</p>

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

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

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

Sign up to save your podcasts

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

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