skip to main content
Idioma:

Variable binding and substitution for (nameless) dummies

Hirschowitz, André ; Hirschowitz, Tom ; Lafont, Ambroise ; Maggesi, Marco

Logical methods in computer science, 2024-03, Vol.20, Issue 1 (1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

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.