Davies, Rowan

• BRICS Report Series No. 51 (1995): RS-51 A Temporal-Logic Approach to Binding-Time Analysis - Articles
  A Temporal-Logic Approach to Binding-Time Analysis
  Abstract  PDF