Can a Proper Lambda-Model have an R.E. Equational Theory? - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chantal Berline. Can a Proper Lambda-Model have an R.E. Equational Theory?. In Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura, editors, Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings. pages 5, World Scientific, 2007.

This author has not been identified. Look up 'Chantal Berline' in Google

runs on WebDSL