Programming Language Theory A useful reference for terminology Skeletal semantics Programming Languages: Application and Interpretation Programming Language Foundations in Agda Programming Language Foundations