Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems.
Nicola GambinoMarco Federico LarreaPublished in: J. Symb. Log. (2023)
Keyphrases
- mathematical models
- complex systems
- computational models
- physical systems
- distributed systems
- building blocks
- statistical models
- real time
- formal methods
- intelligent systems
- accurate models
- mathematical framework
- statistical model
- biological systems
- general theory
- reasoning processes
- algebraic geometry
- experimental data
- theoretical framework
- computational model
- parameter estimation
- logic programs
- digital images
- probability distribution
- case study
- decision trees