Cited By
View all- Arrial VGuerrieri GKesner DSobocinski PLago UEsparza J(2024)Genericity Through StratificationProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662113(1-15)Online publication date: 8-Jul-2024
- Salibra A(2012)Scott is always simpleProceedings of the 37th international conference on Mathematical Foundations of Computer Science10.1007/978-3-642-32589-2_3(31-45)Online publication date: 27-Aug-2012