Program specification and data refinement in type theory

This publication has 26 references indexed in Scilit:

• ECC, an extended calculus of constructions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Inductively defined types
  Lecture Notes in Computer Science, 1990
• Do-it-yourself type theory
  Formal Aspects of Computing, 1989
• The calculus of constructions
  Information and Computation, 1988
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Abstract Data Types and Software Validation
  Published by Defense Technical Information Center (DTIC) ,1976
• Specification techniques for data abstractions
  IEEE Transactions on Software Engineering, 1975
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940