Paper: An abstract standardisation theorem (at LICS 1992)

Authors: Georges Gonthier Jean-Jacques Lévy Paul-André Melliès

Abstract

An axiomatic version of the standardization theorem that shows the necessary basic properties between nesting of redexes and residuals is presented. This axiomatic approach provides a better understanding of standardization, and makes it applicable in other settings, such as directed acyclic graphs (dags) or interaction networks. conflicts between redexes are also treated. The axioms include stability in the sense given by G. Berry (Ph.D. thesis, Univ. of Paris, 1979), proving it to be an intrinsic notion of deterministic calculi

BibTeX

  @InProceedings{LvyMellis-Anabstractstandardi,
    author = 	 {Georges Gonthier and Jean-Jacques Lévy and Paul-André Melliès},
    title = 	 {An abstract standardisation theorem},
    booktitle =  {Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 1992)},
    year =	 {1992},
    month =	 {June}, 
    pages =      {72--81},
    location =   {Santa Cruz, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }