Algebraic Specifications, Higher-order Types and Set-theoretic Models - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Hélène Kirchner, Peter D. Mosses. Algebraic Specifications, Higher-order Types and Set-theoretic Models. Journal of Logic and Computation, 11(3):453-481, 2001. [doi]

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL