Results 251 to 260 of about 697,012 (268)

Combinatory logic

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

Predicate calculus and naive set theory in pure combinatory logic

Archive for Mathematical Logic, 1981
M W Bunder
exaly  

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

Theoretical Computer Science, 2017
Jonathan P Seldin
exaly  

Implementing the ‘Fool's model’ of combinatory logic

Journal of Automated Reasoning, 1991
Robert K Meyer
exaly  

Some generalizations to two systems of set theory based on combinatory logic

Archive for Mathematical Logic, 1987
M W Bunder
exaly  

Category theory based on combinatory logic

Archive for Mathematical Logic, 1984
M W Bunder
exaly  

Clones, closed categories, and combinatory logic

Lecture Notes in Computer Science
Philip Saville
exaly  

Combinatory Logic, Language, and Cognitive Representations

2004
Jean-Pierre Desclés
exaly  

The kernel strategy and its use for the study of combinatory logic

Journal of Automated Reasoning, 1993
Larry Wöß
exaly  

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

Lecture Notes in Mathematics, 1972
Joachim Lambek
exaly