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