Totality in applicative theories. Jäger, G. & Strahm, T. Annals of Pure and Applied Logic, 74(2):105–120, 1995.
Totality in applicative theories [ps]Paper  bibtex   
@Article{js95b,
  Author         = {Gerhard J{\"a}ger and Thomas Strahm},
  Title          = {Totality in applicative theories},
  Journal        = {Annals of Pure and Applied Logic},
  Volume         = {74},
  Number         = {2},
  Pages          = {105{--}120},
  url            = {1995/js95b.ps},
  year           = 1995
}

Downloads: 0