Lambda Calculus: A Case for Inductive Definitions (2000)

by Ralph Matthes
Citations:3 - 0 self