Introduction to the Theory of Programming Languages

GPTKB entity