Foundations of Logic and Functional Programming: Workshop, Trento, Italy, Decemb
67,86 €
This book contains five papers contributed by the invited speakers and five selected contributions. Foundations of Logic and Functional Programming. - Typechecking dependent types and subtypes. - PAP: a logic programming system based on a constructive logic.
Jetzt bei Ebay: