Book Chapter
An algebraic semantics for busy (data-driven) and lazy (demand-driven) evaluation and its application to a functional language
Bernhard Möller
Lecture Notes in Computer Science, 1983, Volume 154, Automata, Languages and Programming, Pages 513-526
Book Chapter
Computing in unpredictable environments: Semantics, reduction strategies, and program transformations
Björn Lisper
Lecture Notes in Computer Science, 1996, Volume 1059, Trees in Algebra and Programming — CAAP '96, Pages 165-179
Book Chapter
Category theory and programming language semantics: An overview
Peter Dybjer
Lecture Notes in Computer Science, 1986, Volume 240, Category Theory and Computer Programming, Pages 163-181
Book Chapter
A treatment of languages with stages of evaluation
Laurette Bradley
Lecture Notes in Computer Science, 1988, Volume 298, Mathematical Foundations of Programming Language Semantics, Pages 425-443
Book Chapter
Initial algebra semantics and concurrency
Maria Zamfir
Lecture Notes in Computer Science, 1988, Volume 298, Mathematical Foundations of Programming Language Semantics, Pages 528-549
Book Chapter
Ensembles de clés scalaires
Marc Guyomard
Collection Télécom, 2011, Structures de données et méthodes formelles, Deuxième partie, Pages 147-271
Book Chapter
La formule de Cayley pour le nombre d’arbres
2006, Raisonnements divins, Part 4, Pages 195-201
Book Chapter
A system for proving equivalences of recursive programs
Laurent Kott
Lecture Notes in Computer Science, 1980, Volume 87, 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980, Pages 63-69
Book Chapter
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
Francisco Durán and José Meseguer
Lecture Notes in Computer Science, 2010, Volume 6381, Rewriting Logic and Its Applications, Pages 69-85
Book Chapter
Languages with reducing reflexive types
Egidio Astesiano and Gerardo Costa
Lecture Notes in Computer Science, 1980, Volume 85, Automata, Languages and Programming, Pages 38-50