next up previous
Next: Troubleshooting Up: A tool for studying Previous: A sample result based


T. Aoto, and H. Ono.
Uniqueness of normal proofs in $\{ \rightarrow, \wedge
\}$-fragment of NJ.
Research Report IS-RR-94-0024F, School of Information Science, JAIST.

S. Broda, and L. Damas.
On the structure of normal $\lambda$-terms having a certain type.
Proceedings of 7th WoLLIC'2000, pp. 33-43, 2000. Copy in sbb/

Sabine Broda