| Erratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160] | 0 | 0.34 | 2004 |
| A New Framework for Declarative Programming: Categorial Perspectives | 0 | 0.34 | 1996 |
| Logic Programming in Tau Categories | 7 | 0.56 | 1994 |
| Functorial Parametricity | 4 | 0.55 | 1992 |
| Recursive Types Reduced to Inductive Types | 43 | 5.59 | 1990 |
| Semantic parametricity in polymorphic lambda calculus | 5 | 1.50 | 1988 |
| Some Semantic Aspects of Polymorphic Lambda Calculus | 8 | 3.26 | 1987 |
| A Categorical Approach to Realizability and Polymorphic Types | 24 | 4.41 | 1987 |
