An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marcelo P. Fiore, Gordon D. Plotkin. An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France. pages 92-102, IEEE Computer Society, 1994.

This author has not been identified. Look up 'Marcelo P. Fiore' in GoogleIdentified as Gordon D. Plotkin

runs on WebDSL