Berger, Ulrich; Hou, Tie A realizability interpretation of Church’s simple theory of types. (English) Zbl 1423.03044 Math. Struct. Comput. Sci. 27, No. 8, 1364-1385 (2017). MSC: 03B20 03B15 03B40 03D78 03F25 × Cite Format Result Cite Review PDF Full Text: DOI
Berger, Ulrich; Blanck, Jens; Køber, Petter Kristian Domain representations of spaces of compact subsets. (English) Zbl 1197.06003 Math. Struct. Comput. Sci. 20, No. 2, 107-126 (2010). MSC: 06B35 54B30 54D30 54E35 × Cite Format Result Cite Review PDF Full Text: DOI