Downloads & Free Reading Options - Results
Dtic Ada193645%3a Practical Higher Order Functional And Logic Programming Based On Lambda Calculus And Set Abstraction%2c by Defense Technical Information Center
Read "Dtic Ada193645%3a Practical Higher Order Functional And Logic Programming Based On Lambda Calculus And Set Abstraction%2c" by Defense Technical Information Center through these free online access and download options.
Books Results
Source: The Internet Archive
The internet Archive Search Results
Available books for downloads and borrow from The internet Archive
1DTIC ADA193645: Practical Higher-Order Functional And Logic Programming Based On Lambda-Calculus And Set-Abstraction,
By Defense Technical Information Center
The authors propose new variation of relative set abstraction as an extension to a lambdacalculus based functional language. This feature interacts orthogonally with the standard functional language capabilities, yet provides the full expressive power of first-order Horn-logic programming, as well as a very useful subset of higher-order Horn-logic programming. This resulting language lends itself to efficient interpretation, in that complete operational procedures are possible without computationally expensive primitives such as higher-order unification, unification relative to an equational theory, or general theorem-proving.
“DTIC ADA193645: Practical Higher-Order Functional And Logic Programming Based On Lambda-Calculus And Set-Abstraction,” Metadata:
- Title: ➤ DTIC ADA193645: Practical Higher-Order Functional And Logic Programming Based On Lambda-Calculus And Set-Abstraction,
- Author: ➤ Defense Technical Information Center
- Language: English
“DTIC ADA193645: Practical Higher-Order Functional And Logic Programming Based On Lambda-Calculus And Set-Abstraction,” Subjects and Themes:
- Subjects: ➤ DTIC Archive - Silbermann, Frank S - NORTH CAROLINA UNIV AT CHAPEL HILL DEPT OF COMPUTER SCIENCE - *HIGH LEVEL LANGUAGES - VARIATIONS - COMPUTER LOGIC
Edition Identifiers:
- Internet Archive ID: DTIC_ADA193645
Downloads Information:
The book is available for download in "texts" format, the size of the file-s is: 9.66 Mbs, the file-s for this book were downloaded 47 times, the file-s went public at Sun Feb 18 2018.
Available formats:
Abbyy GZ - Archive BitTorrent - DjVuTXT - Djvu XML - Item Tile - Metadata - OCR Page Index - OCR Search Text - Page Numbers JSON - Scandata - Single Page Processed JP2 ZIP - Text PDF - chOCR - hOCR -
Related Links:
- Whefi.com: Download
- Whefi.com: Review - Coverage
- Internet Archive: Details
- Internet Archive Link: Downloads
Online Marketplaces
Find DTIC ADA193645: Practical Higher-Order Functional And Logic Programming Based On Lambda-Calculus And Set-Abstraction, at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Dtic Ada193645%3a Practical Higher Order Functional And Logic Programming Based On Lambda Calculus And Set Abstraction%2c” online:
Shop for “Dtic Ada193645%3a Practical Higher Order Functional And Logic Programming Based On Lambda Calculus And Set Abstraction%2c” on popular online marketplaces.
- Ebay: New and used books.