1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
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…