A simple and complete model theory for intensional and extensional untyped lambda-equality.
Michael GabbayMurdoch GabbayPublished in: FLAP (2014)
Keyphrases
- formal model
- theoretical framework
- computational model
- information retrieval
- probabilistic model
- theoretical analysis
- mathematical model
- conceptual framework
- experimental data
- management system
- process model
- databases
- statistical model
- cost function
- neural network model
- theoretical foundation
- multiscale
- prediction model
- high level
- mathematical models
- context dependent
- simple examples