Results 161 to 170 of about 251 (176)

Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic

Lecture Notes in Computer Science, 2022
Josiah Carberry, Statman Rick
exaly  

Strong Reduction of Combinatory Calculus with Streams

Studia Logica, 2014
Koji Nakazawa
exaly  

A new translation algorithm from lambda calculus into combinatory logic

Lecture Notes in Computer Science, 2005
Sabine Broda, Broda Sabine
exaly  

Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic

Lecture Notes in Mathematics, 1972
Joachim Lambek, Lambek Joachim
exaly  

Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey

Synthese Library, 2019
Pierluigi Minari
exaly  

Lambda calculus with patterns

Theoretical Computer Science, 2008
Vincent Van Oostrom, Roel De Vrijer
exaly  

Predicate calculus and naive set theory in pure combinatory logic

Archive for Mathematical Logic, 1981
M W Bunder
exaly  

Axioms for the Theory of Lambda-Conversion

SIAM Journal on Computing, 1985
György Revesz
exaly  

The search for a reduction in combinatory logic equivalent to λβ-reduction

Theoretical Computer Science, 2011
Jonathan P Seldin
exaly  

A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus

Information and Computation, 1999
Antonino Salibra, Robert Goldblatt
exaly