On Jacobson’s “Towards a Variable-Free Semantics”

From MaRDI portal
Publication:6186936