Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules (1995)

Cached

Download Links

by Masahiko Sato
Venue:Theoretical Computer Science
Citations:10 - 1 self