Paper: Syntactic Considerations on Recursive Types (at LICS 1996)

Authors: Martín Abadi Marcelo P. Fiore

Abstract

We study recursive types from a syntactic perspective. In particular, we compare the formulations of recursive types that are used in programming languages and formal systems. Our main tool is a new syntactic explanation of type expressions as functors. We also introduce a simple logic for programs with recursive types in which we carry out our proofs.

BibTeX

  @InProceedings{AbadiFiore-SyntacticConsiderat,
    author = 	 {Martín Abadi and Marcelo P. Fiore},
    title = 	 {Syntactic Considerations on Recursive Types},
    booktitle =  {Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science (LICS 1996)},
    year =	 {1996},
    month =	 {July}, 
    pages =      {242--252},
    location =   {New Brunswick, NJ, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }