Fixed points in cartesian closed categories (1990)

by Michael Barr
Venue:Theoretical Computer Science
Add To MetaCart
Results 1 - 1 of 1

A Denotational Approach to Measuring Complexity in Functional Programs

by Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter , 2003
"... ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Abstract not found