The TeX Catalogue Online

semantic

Help for writing programming language semantics

The authors are Peter Møller Neergaard and Arne John Glenstrup.

License: lppl Version: 2.0 Catalogued: 2016-06-24

mirror server hosted at Truenetwork, Russian Federation.