熱門搜尋
【我要重新搜尋】
您輸入的關鍵字: Laurent (EDT) Linear Logic Workshop (COR)
搜尋結果共 1 筆, 頁數 1 / 1
呈現:
This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory...... more