Implicative logic based encodings of the λ-calculus into the . . .

Cached

Download Links

by Steffen van Bakel , Maria Grazia Vigliotti