Integrating classical and intuitionistic type theory.

Robert C. Flagg

Published in: Ann. Pure Appl. Log. (1986)

Keyphrases

theoretical framework
fuzzy set theory
neural network
quantum mechanics
linear logic
databases
bayesian networks
data structure
pattern recognition
probabilistic model
partial order
information theory
probability theory