Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets.

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

Keyphrases

learning theories
theoretical framework
learning environment
collaborative learning
learning theory
neural network
information systems
decision trees
databases
information retrieval
user interface
inductive logic programming
formal models
set theoretic