Used together with:
style
(1)
defin
(1)
undecid
(1)
Stem
schwichtenberg$ (
all stems
)
1 papers:
TLCA-1997-MalolepszyMZ
#decidability
Schwichtenberg-Style λ Definability Is Undecidable (
JM
,
MM
,
MZ
), pp. 267–283.
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
.