Minimal lambda-theories by ultraproducts

Antonio Bucciarelli Alberto Carraro Antonino Salibra

Published in: LSFA (2012)

Keyphrases

theoretical framework
fixed point
information systems
artificial intelligence
image sequences
cognitive psychology
data sets
case study
digital libraries
mathematical models
causal reasoning
design theory