Combinatory Logic
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Chapman And Hall/CRC

9780429075285

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

(In)equational combinatory logic

Combinatory Logic ◽

10.1201/b11046-7 ◽

2011 ◽

pp. 133-144

Keyword(s):

Combinatory Logic

Applied combinatory logic

Combinatory Logic ◽

10.1201/b11046-10 ◽

2011 ◽

pp. 233-248

Keyword(s):

Combinatory Logic

Elements of combinatory logic

Combinatory Logic ◽

10.1201/b11046-3 ◽

2011 ◽

pp. 13-40

Keyword(s):

Combinatory Logic

Main theorems

Combinatory Logic ◽

10.1201/b11046-4 ◽

2011 ◽

pp. 41-64

Dual and symmetric combinatory logics

Combinatory Logic ◽

10.1201/b11046-9 ◽

2011 ◽

pp. 191-232

Models

Combinatory Logic ◽

10.1201/b11046-8 ◽

2011 ◽

pp. 145-190

Connections to λ -calculi

Combinatory Logic ◽

10.1201/b11046-6 ◽

2011 ◽

pp. 105-132

Recursive functions and arithmetic

Combinatory Logic ◽

10.1201/b11046-5 ◽

2011 ◽

pp. 65-104

Keyword(s):

Recursive Functions

Typed combinatory logic

Combinatory Logic ◽

10.1201/b11046-11 ◽

2011 ◽

pp. 249-286

Keyword(s):

Combinatory Logic