[Haskell-cafe] What's the term for this? Alpha-reordering? [was: Re: FreeSect -- generalised sections syntax extension

wren ng thornton wren at freegeek.org
Sun Mar 4 03:21:15 CET 2012


On 3/3/12 9:15 PM, wren ng thornton wrote:
> In the extension to lambda calculus I presented at NASSLLI a couple
> years back[1] it is indeed semantics-preserving. In that context I named
> it chi, because it's a chiastic transformation.

In combinator calculi the name of `flip` is C, which gives an additional 
reason for that name (though that argument works better for gamma).

-- 
Live well,
~wren



More information about the Haskell-Cafe mailing list