5.8K views
The Logan Bartlett Show
Will Gaybrick on Capital Allocation, Org Design, AI, and Global Growth
Login with Google Login with Discord
Hoang Giang Share
Janusz
办美国文凭加拿大文凭澳洲文凭英国文凭学位证毕业证成绩单
Veinas bọt EPE máy móc
Wendy Ye
9 days ago
9 days ago
![[ASSETS 2024] Audio Description Customization](http://i.ytimg.com/vi/Ijb3QeOdkhI/mqdefault.jpg "[ASSETS 2024] Audio Description Customization")
![[GALOP'24] Fully Abstract Normal Form Bisimulation for Call-by-Value PCF](http://i.ytimg.com/vi/5cBNmihcuec/mqdefault.jpg "[GALOP'24] Fully Abstract Normal Form Bisimulation for Call-by-Value PCF")
![[OOPSLA23] Bring Your Own Data Structures to Datalog](http://i.ytimg.com/vi/_nV6UIMJgIw/mqdefault.jpg "[OOPSLA23] Bring Your Own Data Structures to Datalog")
![[POPL'22] Fully Abstract Models for Effectful λ-Calculi via Category-Theoretic Logica](http://i.ytimg.com/vi/qJmNWvf6jlU/mqdefault.jpg "[POPL'22] Fully Abstract Models for Effectful λ-Calculi via Category-Theoretic Logica")
