Stem scott$ (all stems)

7 papers:

POPL-2013-LoschP #abstraction

Full abstraction for nominal Scott domains (SL, AMP), pp. 3–14.

LICS-2009-CarraroS #reflexive #λ-calculus

Reflexive Scott Domains are Not Complete for the Extensional λ Calculus (AC, AS), pp. 91–100.

IJCAR-2001-HodgsonS

System Description: SCOTT-5 (KH, JKS), pp. 443–447.

RTA-1997-Perlo-FreemanP

Scott’s Conjecture is True, Position Sensitive Weights (SMHWPF, PP), pp. 217–227.

LICS-1996-Edalat

The Scott Topology Induces the Weak Topology (AE), pp. 372–381.

CADE-1994-SlaneyLM #named #semantics

SCOTT: Semantically Constrained Otter System Description (JKS, ELL, WM), pp. 764–768.

ICALP-1978-CoppoDR #finite #set #λ-calculus

(Semi)-separability of Finite Sets of Terms in Scott’s D∞-Models of the λ-Calculus (MC, MDC, SRDR), pp. 142–164.