Advertisement

Mechanizing constructive proofs

  • Gérard Huet
Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Gérard Huet
    • 1
  1. 1.Domaine de VoluceauINRIARocquencourtFRANCE

Personalised recommendations