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 Wed Aug 4 03:10:47 2021 CEST.