G
📝 描述
A discussion of how linear logic relates to computability logic, - the game-semantically introduced logic of computational resources and interactive computation.
⭐ 用户评价
暂无评价