A Deconstruction of Non-deterministic Classical Cut Elimination (0)

Cached

Download Links

by J. Laird
Venue:TLCA'01, LNCS 2044, 268--282
Citations:4 - 0 self