User:Vasilis Papavasileiou/Sandbox

Calculi in the Cube
$$\lambda \rightarrow$$

$$\lambda 2$$

$$\lambda P$$

$$\lambda P 2$$

$$\lambda \omega$$

$$\lambda P \omega$$

$$\lambda \underline{\omega}$$

$$\lambda P \underline{\omega}$$