Strategies and simulations in a semantic framework
From MaRDI portal
Publication:5429558
DOI10.1016/j.jalgor.2007.04.002zbMath1131.68059WikidataQ123905886 ScholiaQ123905886MaRDI QIDQ5429558
Alberto Verdejo, Narciso Martí-Oliet, Miguel Palomino
Publication date: 30 November 2007
Published in: Journal of Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jalgor.2007.04.002
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
68Q42: Grammars and rewriting systems
Uses Software