Skip to main content
Share Your Experience: Take the 2024 Developer Survey
12 votes

What are pertinent references to cite on Scott domains?

I asked Dana Scott who kindly responded. I am relaying his answer: I think the paper “A type-theoretical alternative to ISWIM, CUCH, OWHY” answers the questions and gives the context of the discovery....
Andrej Bauer's user avatar
  • 29.2k
8 votes

What are pertinent references to cite on Scott domains?

First papers Scott (1993), A type-theoretical alternative to ISWIM, CUCH, OWHY. This 1969 manuscript was later published in TCS. The title is a bit odd but it seems to hide the very first written ...
4 votes

Problems complete for non-deterministic PSPACE

A class that was more familiar at the time than NPSPACE was the class of context-sensitive languages. Let CSL denote the set of context-sensitive languages. By Kuroda's theorem (1960), this set is ...
Hermann Gruber's user avatar
3 votes

What are some "who ordered that?" moments in theoretical computer science?

Taking a liberal view of TCS, I can think of the following, all of which have profound influence on theoretical and practical computing. The Spectre vulnerability (which undermines speculation, a (...
2 votes

What are some "who ordered that?" moments in theoretical computer science?

Robin Milner's $\nu$ operation, which abstracts and axiomatises the ability to generate fresh names at will in a (quasi-)compositional way. Naming is a long-standing problem in computer science. ...

Only top scored, non community-wiki answers of a minimum length are eligible