Abella formalization of safety, unicity of typing, and determinacy of evaluation for both sums and existential types
$30-250 USD
Cancelled
Posted over 9 years ago
$30-250 USD
Paid on delivery
1 an Abella formalization of safety, unicity of typing, and determinacy of evaluation for both sums and existential types.
2 an Abella formalization of the equivalence of single-step and big-step evaluation for System T.