Abella formalization of safety, unicity of typing, and determinacy of evaluation for both sums and existential types

Анульовано Опубліковано %project.relative_time Оплачується при отриманні
Анульовано Оплачується при отриманні

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