Types for resources in φ-calculi

Hans Hüttel*

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)

Fingeraftryk Dyk ned i forskningsemnerne om 'Types for resources in φ-calculi'. Sammen danner de et unikt fingeraftryk.