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

First Page		Document Content
Date: 2007-05-03 10:47:11		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 Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 147,29 KB Share Document on Facebook