publication venue for
- On Solvable Congruences in Finitely Decidable Varieties. 40:398-414. 1994
- Abstract Data Types and Type Theory: Theories as Types. 37:149-166. 1991
- Proof theory and computer programming. 36:389-414. 1990
- SOME CONSEQUENCES OF AD FOR KLEENE RECURSION IN 3E. 29:485-492. 1983