1999 · 77 citations · 50 references
ComputingComputer ScienceFormal MethodsProgramming LanguagesTheory Of ComputationEquivalence CheckingFunctional ProgrammingRecursion TheoryRelational AlgebraType SystemsBisimulationBisimulation AnalysisBisimulation In LogicContextual EquivalenceNondeterminismProgram EquivalenceRelational SemanticsSimulation Relations
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Dissertation Series publications. Copies may be obtained by contacting: BRICS
50
Notions of computation and monads
Eugenio Moggi · Information and Computation · 1991 · 1.7K citations
Call-by-name, call-by-value and the λ-calculus
Gordon Plotkin · Theoretical Computer Science · 1975 · 1.2K citations
Testing equivalences for processes
Rocco De Nicola, Matthew Hennessy · Theoretical Computer Science · 1984 · 1.2K citations
LCF considered as a programming language
Gordon Plotkin · Theoretical Computer Science · 1977 · 1.1K citations
Computational lambda-calculus and monads
Eugenio Moggi · 2003 · 858 citations
Computing, Computer Science, Algebra +13