Abella formalization of safety, unicity of typing, and determinacy of evaluation for both sums and existential types
Анульовано
Опубліковано
%project.relative_time
Оплачується при отриманні
$30-250 USD
Оплачується при отриманні
Анульовано
Оплачується при отриманні
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.
ID Проекту: #6741456
Про проект
Дистанційний проект
Остання активність Nov 16, 2014