Bistructures, bidomains, and linear logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pierre-Louis Curien, Gordon D. Plotkin, Glynn Winskel. Bistructures, bidomains, and linear logic. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 21-54, The MIT Press, 2000.

This author has not been identified. Look up 'Pierre-Louis Curien' in GoogleIdentified as Gordon D. Plotkin This author has not been identified. Look up 'Glynn Winskel' in Google

runs on WebDSL