Up: A tool for studying
Previous: A sample result based
T. Aoto, and H. Ono.
Uniqueness of normal proofs in
-fragment of NJ.
Research Report IS-RR-94-0024F, School of Information
S. Broda, and L. Damas.
On the structure of normal -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.