Downloads & Free Reading Options - Results

Combinatory Logic by Haskell B. Curry

Read "Combinatory Logic" by Haskell B. Curry through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1Elements Of Combinatory Logic

By

“Elements Of Combinatory Logic” Metadata:

  • Title: Elements Of Combinatory Logic
  • Author: ➤  
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 528.76 Mbs, the file-s for this book were downloaded 125 times, the file-s went public at Sat Jul 20 2019.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Elements Of Combinatory Logic at online marketplaces:


2Higher-order Illative Combinatory Logic

By

We show a model construction for a system of higher-order illative combinatory logic I_\omega, thus establishing its strong consistency. We also use a variant of this construction to provide a complete embedding of first-order intuitionistic predicate logic with second-order propositional quantifiers into the system I_0 of Barendregt, Bunder and Dekkers, which gives a partial answer to a question posed by these authors.

“Higher-order Illative Combinatory Logic” Metadata:

  • Title: ➤  Higher-order Illative Combinatory Logic
  • Author:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 18.51 Mbs, the file-s for this book were downloaded 96 times, the file-s went public at Mon Sep 23 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Higher-order Illative Combinatory Logic at online marketplaces:


3Combinatory Logic

By

We show a model construction for a system of higher-order illative combinatory logic I_\omega, thus establishing its strong consistency. We also use a variant of this construction to provide a complete embedding of first-order intuitionistic predicate logic with second-order propositional quantifiers into the system I_0 of Barendregt, Bunder and Dekkers, which gives a partial answer to a question posed by these authors.

“Combinatory Logic” Metadata:

  • Title: Combinatory Logic
  • Author: ➤  
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 1276.11 Mbs, the file-s for this book were downloaded 65 times, the file-s went public at Thu Feb 24 2022.

Available formats:
ACS Encrypted PDF - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Combinatory Logic at online marketplaces:


4OTTER Experiments In A System Of Combinatory Logic

By

This paper describes some experiments involving the automated theorem-proving program OTTER in the system TRC of illative combinatory logic. We show how OTTER can be steered to find a contradiction in an inconsistent variant of TRC, and present some experimentally discovered identities in TRC.

“OTTER Experiments In A System Of Combinatory Logic” Metadata:

  • Title: ➤  OTTER Experiments In A System Of Combinatory Logic
  • Author:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 6.10 Mbs, the file-s for this book were downloaded 98 times, the file-s went public at Sun Sep 22 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find OTTER Experiments In A System Of Combinatory Logic at online marketplaces:


5Classical Combinatory Logic

By

Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages. The original combinatory calculus corresponds to minimal implicative logic written in a system "`a la Hilbert". We present in this paper a combinatory logic which corresponds to propositional classical logic. This system is equivalent to the system $\lambda^{Sym}_{Prop}$ of Barbanera and Berardi.

“Classical Combinatory Logic” Metadata:

  • Title: Classical Combinatory Logic
  • Author:
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 3.22 Mbs, the file-s for this book were downloaded 160 times, the file-s went public at Sat Sep 21 2013.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed JP2 ZIP - Text PDF -

Related Links:

Online Marketplaces

Find Classical Combinatory Logic at online marketplaces:


6On The Likelihood Of Normalisation In Combinatory Logic

By

We present a quantitative basis-independent analysis of combinatory logic. Using a general argument regarding plane binary trees with labelled leaves, we generalise the results of David et al. and Bendkowski et al. to all Turing-complete combinator bases proving, inter alia, that asymptotically almost no combinator is strongly normalising nor typeable. We exploit the structure of recently discovered normal-order reduction grammars showing that for each positive $n$, the set of $\mathbf{S} \mathbf{K}$-combinators reducing in $n$ normal-order reduction steps has positive asymptotic density in the set of all combinators. Our approach is constructive, allowing us to systematically find new asymptotically significant fractions of normalising combinators. We show that the density of normalising combinators cannot be less than $34\%$, improving the previously best lower bound of approximately $3\%$. Finally, we present some super-computer experimental results, conjecturing that the density of normalising combinators is close to $85\%$.

“On The Likelihood Of Normalisation In Combinatory Logic” Metadata:

  • Title: ➤  On The Likelihood Of Normalisation In Combinatory Logic
  • Authors:

“On The Likelihood Of Normalisation In Combinatory Logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 0.28 Mbs, the file-s for this book were downloaded 19 times, the file-s went public at Fri Jun 29 2018.

Available formats:
Archive BitTorrent - Metadata - Text PDF -

Related Links:

Online Marketplaces

Find On The Likelihood Of Normalisation In Combinatory Logic at online marketplaces:


7Combinatory Logic

By

2 v. ; 24 cm

“Combinatory Logic” Metadata:

  • Title: Combinatory Logic
  • Author: ➤  
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 1192.88 Mbs, the file-s for this book were downloaded 317 times, the file-s went public at Wed Jun 19 2019.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Combinatory Logic at online marketplaces:


8Combinatory Logic In Programming.

By

Book by V.E. Wolfengagen "Combinatory Logic in Programming. Computations with Objects Through Examples and Exercises". 2-nd ed. -- Moscow, Center JurInfoR, 2003. X+336 p. The book is intended for computer science students, programmers and professionals who have already got acquainted with the basic courses and background on discrete mathematics. It may be used as a textbook for graduate course on theoretical computer science. The book introduces a reader to the conceptual framework for thinking about computations with the objects. The several areas of theoretical computer science are covered, including the following: type free and typed lambda-calculus and combinatory logic with applications, evaluation of expressions, computations in a category. The topics, covered in the book accumulated much experience in teaching these subjects in graduate computer science courses. A rich set of examples and exercises, including solutions, has been prepared to stimulate the self studying and to make easier the job of instructor.

“Combinatory Logic In Programming.” Metadata:

  • Title: ➤  Combinatory Logic In Programming.
  • Author:
  • Language: English

“Combinatory Logic In Programming.” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 95.96 Mbs, the file-s for this book were downloaded 2279 times, the file-s went public at Fri Mar 06 2009.

Available formats:
Abbyy GZ - Animated GIF - Archive BitTorrent - DjVu - DjVuTXT - Djvu XML - Item Tile - Metadata - Scandata - Single Page Processed TIFF ZIP - Text PDF - Unknown -

Related Links:

Online Marketplaces

Find Combinatory Logic In Programming. at online marketplaces:


9Combinatory Logic

By

2 v. ; 24 cm

“Combinatory Logic” Metadata:

  • Title: Combinatory Logic
  • Author: ➤  
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 1371.26 Mbs, the file-s for this book were downloaded 160 times, the file-s went public at Wed Jun 19 2019.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -

Related Links:

Online Marketplaces

Find Combinatory Logic at online marketplaces:


10To H.B. Curry: Essays On Combinatory Logic, Lambda Calculus And Formalism

By

2 v. ; 24 cm

“To H.B. Curry: Essays On Combinatory Logic, Lambda Calculus And Formalism” Metadata:

  • Title: ➤  To H.B. Curry: Essays On Combinatory Logic, Lambda Calculus And Formalism
  • Author: ➤  
  • Language: English

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 839.19 Mbs, the file-s for this book were downloaded 365 times, the file-s went public at Thu Oct 14 2021.

Available formats:
ACS Encrypted PDF - Cloth Cover Detection Log - Contents - DjVuTXT - Djvu XML - EPUB - Item Tile - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC Source - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -

Related Links:

Online Marketplaces

Find To H.B. Curry: Essays On Combinatory Logic, Lambda Calculus And Formalism at online marketplaces:


11To Mock A Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure In Combinatory Logic

By

Includes bibliographical references

“To Mock A Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure In Combinatory Logic” Metadata:

  • Title: ➤  To Mock A Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure In Combinatory Logic
  • Author:
  • Language: English

“To Mock A Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure In Combinatory Logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 679.85 Mbs, the file-s for this book were downloaded 378 times, the file-s went public at Fri Aug 30 2013.

Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item CDX Index - Item CDX Meta-Index - Item Tile - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - MARC Source - Metadata - Metadata Log - OCLC xISBN JSON - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - WARC CDX Index - Web ARChive GZ - chOCR - hOCR -

Related Links:

Online Marketplaces

Find To Mock A Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure In Combinatory Logic at online marketplaces:


Top of Page

Source: LibriVox

LibriVox Search Results

Available audio books for downloads from LibriVox

1Astounding Stories 04, April 1930

By

Book's cover

The fourth issue of <i>Astounding Stories</i> continues Ray Cummings serial "Brigands of the Moon", along with pulp sci-fi stories by Capt. S. P. Meek, Anthony Pelcher and other authors. - Summary by Alan Winterrowd

“Astounding Stories 04, April 1930” Metadata:

  • Title: ➤  Astounding Stories 04, April 1930
  • Authors: ➤  
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 14
  • Total Time: 07:33:56

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: astounding_stories_04_1310_librivox
  • File Format: zip
  • Total Time: 07:33:56
  • Download Link: Download link

Online Marketplaces

Find Astounding Stories 04, April 1930 at online marketplaces:


2Astounding Stories 06, June 1930

By

Book's cover

Issue six of this seminal science-fiction magazine concludes the Ray Cummings story "Brigands of the Moon", and continues Murray Leinster's "Murder Madness". In addition there are three short stories, by various authors, and a short novel by Charles W. Diffin - Summary by Alan Winterrowd

“Astounding Stories 06, June 1930” Metadata:

  • Title: ➤  Astounding Stories 06, June 1930
  • Authors:
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 21
  • Total Time: 08:28:26

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: astounding_stories_06_1403_librivox
  • File Format: zip
  • Total Time: 08:28:26
  • Download Link: Download link

Online Marketplaces

Find Astounding Stories 06, June 1930 at online marketplaces:


3Astounding Stories 07, July 1930

By

Book's cover

Issue seven of this seminal science-fiction magazine - Summary by Annise

“Astounding Stories 07, July 1930” Metadata:

  • Title: ➤  Astounding Stories 07, July 1930
  • Authors: ➤  
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 23
  • Total Time: 08:50:58

Edition Identifiers:

Links and information:

Online Access

Download the Audio Book:

  • File Name: astounding_stories_07_1405_librivox
  • File Format: zip
  • Total Time: 08:50:58
  • Download Link: Download link

Online Marketplaces

Find Astounding Stories 07, July 1930 at online marketplaces:


4Astounding Stories 16, April 1931

By

Book's cover

<b>Contents of this issue :-</b><br>MONSTERS OF MARS EDMOND HAMILTON - Three Martian-Duped Earth-Men Swing Open the Gates of Space That for So Long Had Barred the Greedy Hordes of the Red Planet. (A Complete Novelette.) <br> THE EXILE OF TIME RAY CUMMINGS - From Somewhere Out of Time Come a Swarm of Robots Who Inflict on New York the Awful Vengeance of the Diabolical Cripple Tugh. (Beginning a Four-Part Novel.) <br> HELL'S DIMENSION TOM CURRY - Professor Lambert Deliberately Ventures into a Vibrational Dimension to Join His Fiancée in Its Magnetic Torture-Fields. <br> THE WORLD BEHIND THE MOON PAUL ERNST - Two Intrepid Earth-Men Fight It Out with the Horrific Monsters of Zeud's Frightful Jungles. <br> FOUR MILES WITHIN ANTHONY GILMORE - Far Down into the Earth Goes a Gleaming Metal Sphere Whose Passengers Are Deadly Enemies. (A Complete Novelette.) <br> THE LAKE OF LIGHT JACK WILLIAMSON - In the Frozen Wastes at the Bottom of the World Two Explorers Find a Strange Pool of White Fire—and Have a Strange Adventure. <br> THE GHOST WORLD SEWELL PEASLEE WRIGHT - Commander John Hanson Records Another of His Thrilling Interplanetary Adventures with the Special Patrol Service. <br> THE READERS' CORNER ALL OF US - A Meeting Place for Readers of Astounding Stories.

“Astounding Stories 16, April 1931” Metadata:

  • Title: ➤  Astounding Stories 16, April 1931
  • Authors: ➤  
  • Language: English
  • Publish Date:

Edition Specifications:

  • Format: Audio
  • Number of Sections: 25
  • Total Time: 08:53:07

Edition Identifiers:

Links and information:

  • LibriVox Link:
  • Text Source: - Download text file/s.
  • Number of Sections: 25 sections

Online Access

Download the Audio Book:

  • File Name: astoundingstories16_1607_librivox
  • File Format: zip
  • Total Time: 08:53:07
  • Download Link: Download link

Online Marketplaces

Find Astounding Stories 16, April 1931 at online marketplaces:


Top of Page

Buy “Combinatory Logic” online:

Shop for “Combinatory Logic” on popular online marketplaces.