Results 251 to 260 of about 11,463 (263)

Emergence in Combinatory logic

2023
openaire   +1 more source

Bounded Combinatory Logic and lower complexity

Information and Computation, 2016
exaly  

Elements of combinatory logic

2011
openaire   +2 more sources

Typing in reflective combinatory logic

Annals of Pure and Applied Logic, 2006
exaly  

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

Theoretical Computer Science, 2017
exaly  

A foray into combinatory logic

Journal of Automated Reasoning, 1986
exaly  

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

Lecture Notes in Mathematics, 1972
exaly  

Clones, closed categories, and combinatory logic

Lecture Notes in Computer Science
Philip Saville
exaly  

Extensionality in combinatory logic

2012
J. Roger Hindley, Jonathan P. Seldin
openaire   +1 more source

Paraconsistent and Combinatory Logic

1989
openaire   +1 more source