Hypercoherences: A Strongly Stable Model of Linear Logic (1993)

View PDF

Download Links

by Thomas Ehrhard
Venue:Mathematical Structures in Computer Science
Citations:60 - 9 self