Christine Solnon (solnon)

Contributions to Philosophie.ch

Bibliography

Solnon, Christine and Rueher, Michel. 1994. “Propagation of Inter-Argument Dependencies in ‘Tuple–Distributive’ Type Inference Systems.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 199–214. Berlin: Springer.