Login / Signup

Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals.

Marc Bezem
Published in: J. Symb. Log. (1985)
Keyphrases