Sooner:


Programming in Scala

An Introduction to ProgrammingLanguage Semantics.
From CRC/ACM Computer Science Handbook, 3d ed., 2014.

My Denotational Semantics text from 1986.

An assignment language that is nonstrict in the use of its store

Semantics of the whileloop and soundness of its Hoarelogic rule


Background and motivations for the lambdacalculus,

Encoding arithmetic and commands in lambdacalculus

Denotational semantics based on lambdacalculus

The Lambda Calculus,
from The Structure of Typed Programming Languages,
D.A. Schmidt, MIT Press, 1994.


Domainspecific languages


An Introduction to Milner's CCS,
by L. Aceto and K.G. Larsen, Aalborg University, Denmark, 2005

CCS notes

Notes on coinduction

Exercises with coinduction
