Robert Harper

Practical Foundations for Programming Languages
Psychoanalysis and Psychotherapy; 36 Systems