Fuzzy models of linear logic (1996)

by M Barr
Venue:Mathematical Structures in Computer Science