Advertisement

ProPre A programming language with proofs

  • Pascal Manoury
  • Michel Parigot
  • Marianne Simonot
System Descriptions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 624)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J.L. Krivine, M. Parigot, Programming with proofs, in: SCT 87, Wendish-Rietz, 1987 in: EIK 26 (1990) 149–167.Google Scholar
  2. [2]
    D. Leivant, Reasonning about functional programs and complexity classes associated with type disciplines, in FOGS, 1983, 460–469.Google Scholar
  3. [3]
    M. Parigot, Recursive programming with proofs, in: TCS 94 (1992) 335–356.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Pascal Manoury
    • 1
  • Michel Parigot
    • 1
  • Marianne Simonot
    • 1
  1. 1.Equipe de logique CNRS URA 753 UFR de mathématiquesUniversité Paris VIIParis cedex 05

Personalised recommendations