skip to main content
Idioma:

Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers

Hamana, Makoto

Logical methods in computer science, 2022-06, Vol.18, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.