Holes with Binding Power (2003)

by Gueorgui Jojgov
Venue:In Proc. 2002 Int. Workshop on Proofs and Programs