P. N. Benton

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A mixed linear and non-linear logic: Proofs, terms and models
P. N. Benton (1995) · Lecture notes in computer science · Springer Science+Business Media