A Denotational Approach to Measuring Complexity in Functional Programs (2003)

by Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter