Session Type Systems based on Linear Logic: Classical versus Intuitionistic

OnderzoeksoutputAcademicpeer review

1 Citaat (Scopus)
78 Downloads (Pure)

Zoekresultaten