Default rules for Curry
From MaRDI portal
Publication:4593082
DOI10.1017/S1471068416000168zbMath1379.68037arXiv1605.01352MaRDI QIDQ4593082
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1605.01352
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
68N17: Logic programming
Uses Software