|
|||||||||||
| 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 | ||||||||||