λ-Calculus and Computer Science Theory

Springer Link; Linguagem: Português

Referência(s)