Used together with:
partial
(1)
biquoti
(1)
induct
(1)
line
(1)
algebra
(1)
Stem
bifre$ (
all stems
)
1 papers:
LICS-1997-EscardoS
#algebra
#induction
#recursion
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras (
MHE
,
TS
), pp. 376–386.
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
.