Accelerating the world's research. Elementary aﬃne logic and the call- by-value lambda calculus Paolo Coppola Typed Lambda Calculi and Applications Cite this paper Get the citation in MLA, APA, or Chicago styles Downloaded from Academia.edu  Related papers Subtyping recursive types modulo associative commutative products Robert o Di Cosmo CAT EGORIES T Y P E S AND ST RUCT URES An Int roduct ion t o Cat egory T heory for t he working comput … luis blanco The optimal implementation of functional programming languages (Cambridge tracts in theoretical c… Andrea Asperti Download a PDF Pack of the best related papers 