Links

Tools

Export citation

Search in Google Scholar

An intensionally fully-abstract sheaf model for π

Proceedings article published in 2015 by C. Eberhart, T. Hirschowitz, T. Seiller ORCID
This paper was not found in any repository; the policy of its publisher is unknown or unclear.
This paper was not found in any repository; the policy of its publisher is unknown or unclear.

Full text: Unavailable

Question mark in circle
Preprint: policy unknown
Upload
Question mark in circle
Postprint: policy unknown
Upload
Question mark in circle
Published version: policy unknown
Upload