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

Cached

Download Links

by Thomas Ehrhard
Venue:Mathematical Structures in Computer Science
Citations:59 - 8 self