On Adding Algebraic Theories with Induction to Typed Lambda Calculi (original) (raw)

Algebraic Methodology and Software Technology, 1991

Ramesh Subrahmanyam hasn't uploaded this paper.

Let Ramesh know you want this paper to be uploaded.

Ask for this paper to be uploaded.