Token-passing Nets for Functional Languages

• http://www.scopus.com/inward/record.url?eid=2-s2.0-41649083728&partnerID=MN8TOARS
• full text

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

resumo

• Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)

autores

• José Carlos Bacelar Almeida
• Almeida, J.B.
• Pinto, J.S.
• Vilaça, M.

data de publicação

• janeiro 1, 2008

publicada em

• Electronic Notes in Theoretical Computer Science  Revista

Pesquisas

palavras-chave

• Interaction nets
• Recursion
• Reduction strategies
• lambda-calculus
• λ-calculus

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.entcs.2008.03.061

Informação adicional documento

Página Inicial

• 181

página final

• 198

Volume

• 204

questão

• C