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@haskell.org http://www.haskell.org/mailman/listinfo/beginners