Skip to main content

A Calculus for Schemas in Z

S. M. Brien and A. P. Martin

Journal
J. Symbolic Computation
Number
1
Pages
63–91
Volume
30
Year
2000