A type system for the push-enter model.

Kwanghoon Choi Taisook Han A type system for the push-enter model. 205-211 2003 87 Inf. Process. Lett. 4 http://dx.doi.org/10.1016/S0020-0190(03)00282-5 db/journals/ipl/ipl87.html#ChoiH03