Abella formalization of safety, unicity of typing, and determinacy of evaluation for both sums and existential types
Cancelado
Postado
Nov 5, 2014
Pago na entrega
$30-250 USD
Pago na entrega
Cancelado
Pago na 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.
ID do Projeto: #6692882
Sobre o projeto
Projeto remoto
Ativo em Nov 5, 2014