Advertisement

The calculus of constructions : State of the art

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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Gérard Huet
    • 1
  1. 1.INRIAFrance

Personalised recommendations