On the Observational Theory of the CPS-calculus: (Extended Abstract)

Massimo Merro, Corrado Biasi. On the Observational Theory of the CPS-calculus: (Extended Abstract). Electronic Notes in Theoretical Computer Science, 158:307-330, 2006. [doi]

Authors

Massimo Merro

This author has not been identified. Look up 'Massimo Merro' in Google

Corrado Biasi

This author has not been identified. Look up 'Corrado Biasi' in Google