Geometry of Interaction V: logic in the hyperfinite factor (2008)

by Jean-yves Girard
Citations:5 - 2 self