Towards Full Completeness for the Linear Logic of Chu Spaces (1997)

by Vaughan Pratt
Venue:IN ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Citations:6 - 3 self