IndexAuthor

Number of items: 1.

Nieva Soto, Susana and Lipton, James (2007) Higher-order logic programming languages with constraints: A semantics. In Typed lambda calculi and applications. Lecture Notes in Computer Science (4583). Springer Verlag Berlín, Berlii, pp. 272-289. ISBN 978-3-540-73227-3

This list was generated on Tue Dec 10 21:03:28 2019 CET.

Export as	Atom RSS 1.0 RSS 2.0