[Haskell-beginners] translations PCF to LC, reduction
byorgey at seas.upenn.edu
Wed Jun 8 21:19:21 CEST 2011
You may be interested in the TYPES list:
On Wed, Jun 08, 2011 at 06:34:04PM +0200, ahrens wrote:
> sorry for this slightly offtopic post:
> I am looking for information about translations from the programming
> language PCF to the pure lambda calculus. I am particularly
> interested in how those translations behave with respect to reduction
> in the source and target languages, such as
> - does a specific translation create new redexes?
> - are irreducible terms mapped to irreducibles?
> I'd be grateful for any reference regarding possible translations.
> Beginners mailing list
> Beginners at haskell.org
More information about the Beginners