Science of Computer Programming · 2007 · 70 citations · 28 references
EducationDesignDocumentationInteraction DesignUser Experience DesignAdventure EducationAdventure TourismExperience DesignGame-based LearningScript DevelopmentVideo Game StudiesAdventure LearningAdventure Program PlanningGame DocumentationGame Narrative DesignGame Narrative Scripting
28
Constructing Induction Rules for Deductive Synthesis Proofs
Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text
A Structural Approach to Operational Semantics
Gordon Plotkin · 2004 · 2K citations
Tim Bray, Jean Paoli, C. M. Sperberg‐McQueen · World Wide Web · 1997 · 1.7K citations
Gilles Kahn · Symposium on Theoretical Aspects of Computer Science · 1987 · 523 citations