No photo of J.K. Hinrichsen

J.K. Hinrichsen

20202020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2020

Actris: Session-type based reasoning in separation logic

Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, p. 1-30 6.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
4 Citations (Scopus)
25 Downloads (Pure)