On the Subject Reduction Property for Algebraic Type Systems (1997)

Cached

Download Links

by G. Barthe , P-A. Melliès
Venue:Proceedings of CSL'96
Citations:3 - 2 self