Interface Summary |
BinaryCell |
Binary cell. |
Cell |
A cell has a principal port and zero or more auxiliary ports. |
Decoder |
Cell used for decoding a LambdaNet that represents an abstraction.
|
Eraser |
Eraser. |
IntStack |
Stack of integers. |
LambdaNet |
A LambdaNet is an interaction-net that represents a lambda term which is
linear relativety to each of its free variables.
|
LongStack |
Stack of long values. |
PentaryMultiplexor |
Abstraction multiplexor or application demultiplexor. |
Port |
A Port belongs to a Cell or is free. |
Stack |
Stack of Object. |
WireCell |
Wire Cell. |