Kripke semantics for higher-order type theory applied to...

Theoretical Computer Science 2018 / 02 Vol. 712

Kripke semantics for higher-order type theory applied to constraint logic programming languages

Lipton, James, Nieva, Susana
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
712
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2017.11.005
Date:
February, 2018
File:
PDF, 964 KB
english, 2018
Conversion to is in progress
Conversion to is failed