On the Ubiquity of Certain Total Type Structures: (Extended Abstract)
The sequentially realizable functionals
Matching typed and untyped realizability
Sci-fi short story
Final Resume