共 50 条
- [31] Formal Language Theory for Practical Security - Extended Abstract - 2021 IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (SPW 2021), 2021, : 101 - 110
- [33] An overview of the isoperimetric method in coding theory (extended abstract) CRYPTOGRAPHY AND CODING, 1999, 1746 : 129 - 134
- [34] A type theory for cartesian closed bicategories (Extended Abstract) 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
- [35] Analysis of a guard condition in type theory (extended abstract) FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1998, 1378 : 48 - 62
- [36] Type theory via exact categories extended abstract THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 188 - 198
- [37] On the competitive theory and practice of portfolio selection - (Extended abstract) LATIN 2000: THEORETICAL INFORMATICS, 2000, 1776 : 173 - 196
- [40] The First Door: Gender, Authority and Choice in The Stanley Parable Extended Abstract PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF DIGITAL GAMES (FDG'17), 2017,