Towards a meaning of life

Aït-Kaci, 1984, A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Types

Aït-Kaci, 1986, An algebraic semantics approach to the effective resolution of type equations, Theoretical Computer Science, 45, 293, 10.1016/0304-3975(86)90047-2

Aït-Kaci, 1993, Label-selective λ-calculus

Aït-Kaci, 1993, Wild_LIFE

Aït-Kaci, 1986, LOGIN: A logic programming language with built-in inheritance, Journal of Logic Programming, 3, 185, 10.1016/0743-1066(86)90013-0

Aït-Kaci, 1989, Integrating logic and functional programming, Lisp and Symbolic Computation, 2, 51, 10.1007/BF01806313

Aït-Kaci, 1987, Le Fun: Logic, equations, and Functions, 17

Aït-Kaci, 1991, Functions as passive constraints in LIFE, 13

Aït-Kaci, 1991, Towards a meaning of LIFE, 11

Aït-Kaci, 1991, Towards a meaning of life, 255

Aït-Kaci, 1993, Order-sorted feature theory unification

Aït-Kaci, 1992, A feature-based constraint system for logic programming with entailment, Proceedings of the 5th International Conference on Fifth Generation Computer Systems, 1012

Clocksin, 1984

Dörre, 1990, On subsumption and semiunification in feature algebras, 301

Höhfeld, 1988, Definite relations over constraint languages, 53

Jaffar, 1987, Constraint logic programming, Proceedings of the 14th ACM Symposium on Principles of Pragramming Languages

O'Keefe, 1990

Smolka, 1988, A feature logic with subhorts, 33

Smolka, 1992, Feature constraint logic for unification grammar, Journal of Logic Programming, 12, 51, 10.1016/0743-1066(92)90039-6