Used together with:
variabl
(1)
theori
(1)
abstract
(1)
make
(1)
equat
(1)
Stem
russel$ (
all stems
)
1 papers:
POPL-1983-DemersD
#equation
Making Variables Abstract: An Equational Theory for Russell (
AJD
,
JED
), pp. 59–72.
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
.