A type theory which is complete for Kreisel's modified realizability.

Tristan Crolard

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

theoretical framework
artificial intelligence
cooperative
formal theory
real world
genetic algorithm
website
face recognition
multiscale
expert systems
computational model