Strong normalisation for a gentzen-like cut-elimination procedure (2001)

Cached

Download Links

by C. Urban
Venue:In TLCA
Citations:6 - 0 self