External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On Mutually Recursive Free Types in Z

Ian Toyn, Samuel H. Valentine, David A. Duffy. On Mutually Recursive Free Types in Z. In Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King, editors, ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings. Volume 1878 of Lecture Notes in Computer Science, pages 59-74, Springer, 2000. [doi]

Authors

Ian Toyn

This author has not been identified. Look up 'Ian Toyn' in Google

Samuel H. Valentine

This author has not been identified. Look up 'Samuel H. Valentine' in Google

David A. Duffy

This author has not been identified. Look up 'David A. Duffy' in Google
runs on