Results 241 to 250 of about 11,463 (263)

Illative Combinatory Logic

1984
openaire   +1 more source

Combinatory Logic as Monoids1

Fundamenta Informaticae, 1989
Böhm, C., Dezani-Ciancaglini, M.
openaire   +1 more source

Combinatory Logic, Volume I.

The Philosophical Review, 1959
Charles D. Parsons, Haskell B. Curry, Robert Feys, William Craig   +3 more
openaire   +1 more source

Typed combinatory logic

2011
openaire   +1 more source

Implementing the ‘Fool's model’ of combinatory logic

Journal of Automated Reasoning, 1991
exaly  

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

Journal of Automated Reasoning, 1993
exaly  

A case study in automated theorem proving: Finding sages in combinatory logic

Journal of Automated Reasoning, 1987
exaly  

INTRODUCTION TO COMBINATORY LOGIC

Bulletin of the London Mathematical Society, 1974
openaire   +1 more source

OTTER experiments in a system of combinatory logic

Journal of Automated Reasoning, 1995
exaly  

A Combinatory Logic

1995
openaire   +1 more source