Abella formalization of safety, unicity of typing, and determinacy of evaluation for both sums and existential types
Cancelado
Publicado
Nov 5, 2014
Pagado a la entrega
$30-250 USD
Pagado a la entrega
Cancelado
Pagado a la entrega
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.
Nº del proyecto: #6692882
Sobre el proyecto
Proyecto remoto
Activo Nov 5, 2014