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

Bibliography

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

2
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 http://www.dcc.fc.up.pt/~ sbb/wollic00.ps.



Sabine Broda