2013/12/10 by Yoichi Hirai
Computer Science · #cs.LO #cs.PL
paper · pdf · doi:10.4204/eptcs.137.4
published as EPTCS 137, 2013, pp. 33-52 · In Proceedings PLACES 2013, arXiv:1312.2218
arxiv created 2013/12/10 · arxiv updated 2013/12/11
There was a PhD student who says "I found a pair of wooden shoes. I put a coin in the left and a key in the right. Next morning, I found those objects in the opposite shoes." We do not claim existence of such shoes, but propose a similar programming abstraction in the context of typed lambda calculi. The result, which we call the Amida calculus, extends Abramsky's linear lambda calculus LF and characterizes Abelian logic.