[Haskell-beginners] translations PCF to LC, reduction

[Brent Yorgey]

You may be interested in the TYPES list:

  http://lists.seas.upenn.edu/mailman/listinfo/types-list

-Brent

On Wed, Jun 08, 2011 at 06:34:04PM +0200, ahrens wrote:
> Hello,
> 
> 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.
> 
> Thanks,
> ben
> 
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://www.haskell.org/mailman/listinfo/beginners