Abstract λ-Calculus Machines (Q3599179)

From MaRDI portal