1 paper
Tatsuya Abe, Daisuke Kimura
Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can b…