Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306)
I will be using this book for:
Log in to remove ads

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306)

by Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi

Programming Computer Science Logic
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

Proceedings from the 1986 Trento workshop exploring theoretical foundations of logic and functional programming languages and their integration.

ISBN-13 9783540191292 ASIN 3540191291 Views 34 Publisher Springer Year 1988 Edition 1988 Format Paperback Product Group Book Pages 232 Adult No Created March 28, 2026 Updated August 07, 2026
About This Book

This volume collects the proceedings of the Workshop on Foundations of Logic and Functional Programming held in Trento, Italy, in December 1986.

The papers address theoretical aspects of logic programming and functional programming languages.

Topics include formal semantics, type systems, and integration of logical and functional paradigms.

The collection is published as part of the Lecture Notes in Computer Science series.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: