Geometry of Interaction V: Logic in the hyperfinite factor.

Jean-Yves Girard

Published in: Theor. Comput. Sci. (2011)

Keyphrases

logic programming
three dimensional
human computer interaction
multi valued
classical logic
proof theory
data sets
neural network
machine learning
geometric structure
automated reasoning
asynchronous circuits