Session Type Systems based on Linear Logic: Classical versus Intuitionistic

Bas van den Heuvel, Jorge A. Pérez

Onderzoeksoutput › Academic › peer review

1 Citaat (Scopus)
78 Downloads (Pure)

Zoekresultaten