1
by Miller, Dale, Nadathur, Gopalan
Published 2012
Cambridge University Press
Subjects: ...Logic programming...

2
Published 2004
Cambridge University Press
Table of Contents: ...]-calculus / S. Guerrini -- An overview of linear logic programming / D. Miller -- Linearity and nonlinearity...

3
by Hodges, Wilfrid
Published 1993
Cambridge University Press
..., geometry, algebra (in particular group theory), and computer science (e.g. logic programming...