An intensionally fully-abstract sheaf model for π (expanded version)

Clovis Eberhart, Tom Hirschowitz, Thomas Seiller

2 Citationer (Scopus)
8 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'An intensionally fully-abstract sheaf model for π (expanded version)'. Sammen danner de et unikt fingeraftryk.

Matematik

Teknik og materialevidenskab