The Typed Bohm Theorem.

Kosta Dosen Zoran Petric

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

Keyphrases

higher order
lambda calculus
databases
face recognition
cooperative
pairwise
digital topology
expert systems
control system
von neumann
intuitionistic logic