Results 151 to 160 of about 2,457 (170)
Some of the next articles are maybe not open access.
Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic
Lecture Notes in Computer Science, 2022Josiah Carberry
exaly
Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic
2021openaire +1 more source
Partial combinatory algebra and generalized numberings
Theoretical Computer Science, 2022Sebastiaan A Terwijn
exaly
A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus
Information and Computation, 1999Antonino Salibra, Robert Goldblatt
exaly
A new translation algorithm from lambda calculus into combinatory logic
Lecture Notes in Computer Science, 2005Sabine Broda
exaly