Showing 1 - 1 results of 1 for search 'Clovis Eberhart', query time: 0.02s
Refine Results
-
1
An intensionally fully-abstract sheaf model for $\pi$ (expanded version) by Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
Published 2017-11-01
Article