Abstract

We report on an ongoing formalization of layer systems in Isabelle.

BibTeX

@inproceedings{BFFR-IWC17,
  author    = "Bertram Felgenhauer and Franziska Rapp",
  title     = "Aspects of Layer Systems in {IsaFoR}",
  booktitle = "Proceedings of the 6th International Workshop on Confluence
               (IWC 2017)",
  editor    = "Beniamino Accattoli and Bertram Felgenhauer",
  pages     = "63--67",
  year      = 2017
}