交互几何-一流百科

交互几何

交互几何交互几何（GoI）是由Jean-YvesGirard在其线性逻辑工作后不久提出的。在线性逻辑中，证明可以被看作是各种网络，与序列微积分的扁平树状结构相对应。...