Book
Universal Quantification In Categorical Logic Programming
Categorical operational semantics for universal quantification in hereditarily Harrop logic programming «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783639368284
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Universal Quantification In Categorical Logic Programming by Ayalur Krishnan
Universal Quantification In Categorical Logic Programming has been reviewed 0 times. The average score is . 0 people has read the book.
There are no reviews for this book yet.
Idea box
