Jumbo λ-Calculus Paul Blain Levy University of Birmingham Abstract. We make an argument that, for any study involving computational effects such as divergence or continuations, the traditional syntax of simply typed lam - Blain - Document - PDFSEARCH.IO

First Page	Meta Content
	Jumbo λ-Calculus Paul Blain Levy University of Birmingham Abstract. We make an argument that, for any study involving computational effects such as divergence or continuations, the traditional syntax of simply typed lam Add to Reading List Document Date: 2007-05-03 10:47:11 Open Document File Size: 147,29 KB Share Result on Facebook

Jumbo λ-Calculus Paul Blain Levy University of Birmingham Abstract. We make an argument that, for any study involving computational effects such as divergence or continuations, the traditional syntax of simply typed lamAdd to Reading List