Advertisement

Equational systems for category theory and intuitionistic logic

  • Gérard Huet
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 202)

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Gérard Huet
    • 1
  1. 1.INRIALe-ChesnayFrance

Personalised recommendations