Abella formalization of safety, unicity of typing, and determinacy of evaluation for both sums and existential types
Cancelled
Posted
Nov 5, 2014
Paid on delivery
$30-250 USD
Paid on delivery
Cancelled
Paid on delivery
1 an Abella formalization of safety, unicity of typing, and determinacy of evaluation for both sums and existential types.
2an Abella formalization of the equivalence of single-step and big-step evaluation for System T.
Project ID: #6692882
About the project
Remote project
Active Nov 5, 2014