共 50 条
- [36] Capital Breeds: Interest-Bearing Capital as Purely Abstract Form MARX'S CAPITAL AND HEGEL'S LOGIC: A REEXAMINATION, 2014, 64 : 41 - 63
- [39] Fully Abstract Normal Form Bisimulation for Call-by-Value PCF 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,