BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
calculus (2)
domain (2)
system (2)
topolog (2)
descript (2)

Stem scott$ (all stems)

7 papers:

POPLPOPL-2013-LoschP #abstraction
Full abstraction for nominal Scott domains (SL, AMP), pp. 3–14.
LICSLICS-2009-CarraroS #reflexive #λ-calculus
Reflexive Scott Domains are Not Complete for the Extensional λ Calculus (AC, AS), pp. 91–100.
System Description: SCOTT-5 (KH, JKS), pp. 443–447.
Scott’s Conjecture is True, Position Sensitive Weights (SMHWPF, PP), pp. 217–227.
The Scott Topology Induces the Weak Topology (AE), pp. 372–381.
CADECADE-1994-SlaneyLM #named #semantics
SCOTT: Semantically Constrained Otter System Description (JKS, ELL, WM), pp. 764–768.
ICALPICALP-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.