Programming with higher-order logic / Dale Miller, Gopalan Nadathur

By:

Miller, Dale

Contributor(s):

Nadathur, Gopalan

Material type: Text

TextPublication details: Cambridge : Cambridge University Press, 2012Description: xiii, 306 p. ; 24 cmISBN:

9780521879408 (hardback)

Subject(s):

Contents:

Machine generated contents note: 1. First-order terms and representations of data; 2. First-order horn clauses; 3. First-order hereditary Harrop formulas; 4. Typed lambda-terms and formulas; 5. Using quantification at higher-order types; 6. Mechanisms for structuring large programs; 7. Computations over [lambda]-terms; 8. Unification of [lambda]-terms; 9. Implementing proof systems; 10. Computations over functional programs; 11. Encoding a process calculus language; Appendix. The Teyjus system

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 2 )

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Open Shelf	UMPLIB PEKAN	QA76.63 .M55 2012 (Browse shelf(Opens below))	1	Available		0000080527

Includes bibliographical references and index