Logic programming & type theory [
This book is a complete package for knowledge sharing on logic programming & type theory
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
College Publishing House ,
2014
|
| Subjects: | |
| Online Access: | World Technologies |
Table of Contents:
- 1. Introduction to logic programming
- 2. Prolog
- 3. Negation as failure and stable model semantics
- 4. Answer set programming and abductive logic programming
- 5. Constraint logic programming
- 6. Linear logic
- 7. Introduction to type theory
- 8. Simply typed lambda calculus
- 9. Type polymorphism and type system
- 10. Algebraic data type and calculus of constructions
- 11. Composite data type and covariance and contravariance (computer science)
- 12. Liskov substitution principle and effect system
- 13. Nominative type system and structural type system
- 14. Option type and POPLmark challenge
- 15. Recursive data type and strong typing