Logic in Computer Science (LICS 1996)

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

Authors: Martin 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 = 	 {Martin Abadi and Marcelo P. Fiore},
    title = 	 {Syntactic Considerations on Recursive Types},
    booktitle =  {Proceedings of the Eleventh Annual IEEE Symp. on Logic in Computer Science, {LICS} 1996},
    year =	 1996,
    editor =	 {Edmund M. Clarke},
    month =	 {July}, 
    pages =      {242-252},
    location =   {New Brunswick, NJ, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }