Program specification and data refinement in type theory

Research output: Contribution to journal › Article › peer-review

135 Downloads (Pure)

Original language	English
Journal	Mathematical Structures in Computer Science
Volume	3
Issue number	3
DOIs	https://doi.org/10.1017/S0960129500000256
Publication status	Published - 1993

Access to Document

@article{27805814bb27424a910542deab97d513,

title = "Program specification and data refinement in type theory",

author = "Z. Luo",

year = "1993",

doi = "10.1017/S0960129500000256",

language = "English",

volume = "3",

journal = "Mathematical Structures in Computer Science",

issn = "1469-8072",

publisher = "Cambridge University Press",

number = "3",

}