Paper: Some Semantic Aspects of Polymorphic Lambda Calculus (at LICS 1987)

Authors: Peter J. Freyd Andre Scedrov

Abstract

A simple relational framework is used in obtaining new characterizations of partial recursive functions and higher-order partial recursive functionals from the point of view of models for polymorphic lambda calculus. This framework also enables us to establish the high-order expressive power of polymophic terms.

BibTeX

  @InProceedings{FreydScedrov-SomeSemanticAspects,
    author = 	 {Peter J. Freyd and Andre Scedrov},
    title = 	 {Some Semantic Aspects of Polymorphic Lambda Calculus},
    booktitle =  {Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science (LICS 1987)},
    year =	 {1987},
    month =	 {June}, 
    pages =      {315--319},
    location =   {Ithaca, NY, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }