The first is logical frameworks, which are based on constructive type theory featuring higher order abstract syntax, and the second one is categorical, final semantics based on terminal co-algebras and non-wellfounded set theory.
| As far as
metamodels, we will discuss two paradigm examples. The first is logical frameworks, which are based on constructive type theory featuring higher order abstract syntax, and the second one is categorical, final semantics based on terminal co-algebras and non-wellfounded set theory. |
|
