Cited By
View all- Johann PGhiorzi EJeffries D(2022)GADTs, Functoriality, Parametricity: Pick TwoElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.357.6357(77-92)Online publication date: 7-Apr-2022
- Derakhshan FBalzer SJia LGorla D(2021)Session logical relations for noninterferenceProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470654(1-14)Online publication date: 29-Jun-2021
- Jaber GMurawski AGorla D(2021)Compositional relational reasoning via operational game semanticsProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470524(1-13)Online publication date: 29-Jun-2021
- Show More Cited By