Gopalan Nadathur

バインディングコンテキストの管理とその論理的推論における重要性についてのガイド。