Program specification and data refinement in type theory

Luo, Z.

(1993)

Luo, Z. (1993) Program specification and data refinement in type theory. Mathematical Structures in Computer Science, 3 (3).

Our Full Text Deposits

Full text access: Open

Full text file - 1.81 MB

Abstract

Information about this Version

This is a Submitted version
This version's date is: 1993
This item is not peer reviewed

Link to this Version

https://repository.royalholloway.ac.uk/items/7aa00423-be4c-ef61-7690-b304ce751ec9/1/

Item TypeJournal Article
TitleProgram specification and data refinement in type theory
AuthorsLuo, Z.
DepartmentsFaculty of Science\Computer Science

Identifiers
doihttp://dx.doi.org/10.1017/S0960129500000256

Deposited by Research Information System (atira) on 24-May-2012 in Royal Holloway Research Online.Last modified on 24-May-2012

Details