Defining Type-2 Computability Structures on Analytical Spaces. Kunkle, D. Technical Report 314, FernUniversität in Hagen, Fachbereich Informatik, Hagen, April, 2004.
bibtex   
@TECHREPORT{Kun04,
  author = {Kunkle, Daren},
  title = {Defining Type-2 Computability Structures on Analytical Spaces},
  institution = {FernUniversit\"at in Hagen, Fachbereich Informatik},
  year = {2004},
  type = {Informatik Berichte},
  number = {314},
  address = {Hagen},
  month = apr,
  keywords = {bib,cca,thi1}
}

Downloads: 0