M. V. H. Fairtlough
M. V. H. Fairtlough and S. S. Wainer.
Ordinal complexity of recursive definitions.
Information and Computation
, 99(2):123-153, August 1992.
Citations.
Matt Fairtlough and Michael Mendler.
Propositional lax logic.
Information and Computation
, 137(1):1-33, 25 August 1997.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database