Kripke semantics for higher-order type theory applied to constraint logic programming languages
From MaRDI portal
Publication:683712
DOI10.1016/j.tcs.2017.11.005zbMath1387.68059MaRDI QIDQ683712
Publication date: 9 February 2018
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2017.11.005
68N17: Logic programming
Uses Software