Bauer, Andrej; Birkedal, Lars; Scott, Dana S. Equilogical spaces. (English) Zbl 1059.18004 Theor. Comput. Sci. 315, No. 1, 35-59 (2004). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 18C50 68Q55 18D15 03G30 PDFBibTeX XMLCite \textit{A. Bauer} et al., Theor. Comput. Sci. 315, No. 1, 35--59 (2004; Zbl 1059.18004) Full Text: DOI
Birkedal, Lars; van Oosten, Jaap Relative and modified relative realizability. (English) Zbl 1012.03066 Ann. Pure Appl. Logic 118, No. 1-2, 115-132 (2002). Reviewer: Peter T.Johnstone (Cambridge) MSC: 03G30 18B25 03B40 03D75 03F55 PDFBibTeX XMLCite \textit{L. Birkedal} and \textit{J. van Oosten}, Ann. Pure Appl. Logic 118, No. 1--2, 115--132 (2002; Zbl 1012.03066) Full Text: DOI