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 Sun Jul 5 00:20:14 2020 CEST.

Export as	Atom RSS 1.0 RSS 2.0