Advertisement

Defining λ-typed λ-calculi by axiomatizing the typing relation

  • Philippe de Groote
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 665)

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Philippe de Groote
    • 1
  1. 1.INRIA-Lorraine-CRIN-CNRSVandœvre-lès-Nancy CedexFrance

Personalised recommendations