On the Logical Content of Computational Type Theory: A Solution to Curry's Problem.
Matt FairtloughMichael MendlerPublished in: TYPES (2000)
Keyphrases
- closed form
- integral equation
- neural network
- computationally tractable
- cutting plane
- theoretical framework
- optimal solution
- metadata
- multimedia data
- computational models
- multimedia content
- integer programming
- numerical methods
- linear equations
- multimedia
- optimization method
- exact solution
- probabilistic logic
- general theory
- information systems
- logical properties
- data sets