|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
WalkingContextTranslater | Walking context with a translation capability. |
Class Summary | |
FromNetToTerm | Translation from lambda-net to Term. |
FromTermToNet | Translation of a Term into a lambda-net. |
Reducer | Reduces a term using a translation to a lambda-net. |
|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |