Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract).

Milind Gandhe G. Venkatesh Amitabha Sanyal Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). 103-110 1995 conf/asian/1995 ASIAN db/conf/asian/asian95.html#GandheVS95