Construction and deduction methods for the formal development of software

This publication has 18 references indexed in Scilit:

• Computational metatheory in Nuprl
  Published by Springer Nature ,2005
• The semantics of reflected proof
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Extended Calculus of Constructions (ECC) with inductive types
  Information and Computation, 1992
• Program specification and data refinement in type theory
  Published by Springer Nature ,1991
• A higher-order calculus and theory abstraction
  Information and Computation, 1991
• Constructions: A higher order proof system for mechanizing mathematics
  Published by Springer Nature ,1985
• Using meta-theoretic reasoning to do algebra
  Published by Springer Nature ,1980
• Proving and applying program transformations expressed with second-order patterns
  Acta Informatica, 1978
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
  Monatshefte für Mathematik, 1931