A Term Calculus for Unitary Approach to Nomalization.

Claudia Faggian

Browse the full ICFP paper archive.