Towards a theory of type structure

  • John C. Reynolds
Semantique Formelle Formal Semantics

DOI: 10.1007/3-540-06859-7_148

Part of the Lecture Notes in Computer Science book series (LNCS, volume 19)
Cite this paper as:
Reynolds J.C. (1974) Towards a theory of type structure. In: Robinet B. (eds) Programming Symposium. Lecture Notes in Computer Science, vol 19. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1974

Authors and Affiliations

  • John C. Reynolds
    • 1
  1. 1.Syracuse UniversitySyracuseUSA

Personalised recommendations