共 50 条
- [21] A Royal Road to Quantum Theory (or Thereabouts) Extended Abstract [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (236): : 245 - 254
- [23] A type theory for cartesian closed bicategories (Extended Abstract) [J]. 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
- [24] Formal Language Theory for Practical Security - Extended Abstract - [J]. 2021 IEEE SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS (SPW 2021), 2021, : 101 - 110
- [25] Efficient Multiparty Interactive Coding for Insertions, Deletions, and Substitutions [Extended Abstract] [J]. PROCEEDINGS OF THE 2019 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '19), 2019, : 137 - 146
- [26] Analysis of a guard condition in type theory (extended abstract) [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1998, 1378 : 48 - 62
- [27] Type theory via exact categories extended abstract [J]. THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 188 - 198
- [28] On the competitive theory and practice of portfolio selection - (Extended abstract) [J]. LATIN 2000: THEORETICAL INFORMATICS, 2000, 1776 : 173 - 196
- [29] The Budgeted Unique Coverage Problem and Color-Coding (Extended Abstract) [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2009, 5675 : 310 - +
- [30] OVERVIEW OF CODING THEORY - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A328 - A328