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

by T Ehrhard
Venue:Mathematical Structures in Computer Science