Session Type Systems based on Linear Logic: Classical versus Intuitionistic

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
72 Downloads (Pure)

Search results