Skip to main content
Article thumbnail
Location of Repository

Functors and ordinal notations IV : The Howard Ordinal and the functor LAMBDA

By Jacqueline Vauzeilles

Abstract

This paper is the follow up of three previous papers on functors and ordinal notations. A result, conjectured by Jean-Yves Girard about the functor LAMBDA, is proved

Topics: [MATH.MATH-LO] Mathematics [math]/Logic [math.LO], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]
Publisher: Association for Symbolic Logic
Year: 1985
OAI identifier: oai:HAL:hal-00003502v1
Provided by: Hal-Diderot
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://hal.archives-ouvertes.... (external link)
  • https://hal.archives-ouvertes.... (external link)
  • https://hal.archives-ouvertes.... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.