|
![]() |
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
Term
.Astro
.AstroBuilder
to pretend to be of type
QuasiBuilder
.AstroBuilder
in order to represent a quasi-term-tree in
terms of a term tree.
|
![]() |
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |