Labra's home page

Home
Publications
Posts
Projects
Teaching
Talks
Other
Contact

Modular-Monadic-Semantics

Specification of Logic Programming Languages from Reusable Semantic Building Blocks

© 2018 Jose Emilio Labra Gayo · Powered by the Academic theme for Hugo.