Combinatory Logic: Pure, Applied and Typed by Katalin Bimbó

Combinatory Logic: Pure, Applied and Typed

Katalin Bimbó

357 pages missing pub info (editions)

nonfiction computer science mathematics medium-paced
Powered by AI (Beta)
Loading...

Description

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...