Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Computing with functionals - computability theory or computer science?. Bulletin of Symbolic Logic, 12 (1): 43-59 (2006)The Computational Power of Muomega., and . Math. Log. Q., 48 (1): 117-124 (2002)Mathematics of computing at CiE 2005., , and . Mathematical Structures in Computer Science, 16 (5): 735-736 (2006)The Definability of E(alpha)., and . J. Symb. Log., 49 (2): 437-442 (1984)Hereditarily effective typestreams.. Arch. Math. Log., 36 (3): 219-225 (1997)Set recursion and Πhalf-logic., and . Ann. Pure Appl. Logic, 28 (3): 255-286 (1985)Banach Spaces as Data Types. Logical Methods in Computer Science, (2011)S. Barry Cooper (1943-2015)., , , , , , , , , and . Computability, 7 (2-3): 103-131 (2018)Computability in Europe 2011., , , and . Ann. Pure Appl. Logic, 164 (5): 509-510 (2013)Closing the gap between the continuous functionals and recursion in 3E.. Arch. Math. Log., 36 (4-5): 269-287 (1997)