2 Hits in 3.3 sec

Data Type Inference for Logic Programming [article]

João Barbosa, Mário Florido, Vítor Santos Costa
2021 arXiv   pre-print
In this paper we present a new static data type inference algorithm for logic programming.  ...  Without the need of declaring types for predicates, our algorithm is able to automatically assign types to predicates which, in most cases, correspond to the data types processed by their intended meaning  ...  Functional logic programming: From theory to Curry. In Programming Logics -Essays in Memory of Harald Ganzinger, pages 123-168, 2013. Hen93. Fritz Henglein. Type inference with polymorphic recursion.  ... 
arXiv:2108.06562v1 fatcat:e7f2fqamxnacvepkrvyfyqtvhq

Computational Complexity of Deciding Provability in Linear Logic and its Fragments [article]

Florian Chudigiewitsch
2021 arXiv   pre-print
Linear logic has, for example, found applications in proof theory, quantum logic, and the theory of programming languages.  ...  Linear logic was conceived in 1987 by Girard and, in contrast to classical logic, restricts the usage of the structural inference rules of weakening and contraction.  ...  In: Rewriting Techniques and Applications. Ed. by Harald Ganzinger. Berlin, Hei-[ ] Jean van Heijenoort. From Frege to Gödel: A Source Book in Mathematical Logic, -. [ ] Willem Heijltjes and Dominic J.  ... 
arXiv:2110.00562v1 fatcat:a6sidawnbjh5jpf2cvrermfrcy