[Haskell-beginners] translations PCF to LC, reduction
benedikt.ahrens at gmx.net
Wed Jun 8 18:34:04 CEST 2011
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.
More information about the Beginners