Skip to Content
Publications

Publications

Related publications to Adelfa are listed here. A BibTeX file containing these references can be found here.

  1. Nadathur, G., Southern, M.: A Logic for Formalizing Properties of LF Specifications. In: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, Tbilisi, Georgia (2022). https://doi.org/10.1145/3551357.3551377.
  2. Nadathur, G., Southern, M.: On encoding LF in a predicate logic over simply-typed lambda terms, (2021). https://doi.org/10.48550/arXiv.2108.10848.
  3. Nadathur, G., Southern, M.: A Logic for Reasoning About LF Specifications, (2021). https://doi.org/10.48550/arXiv.2107.00111.
  4. Southern, M., Nadathur, G.: Adelfa: A System for Reasoning about LF Specifications. In: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) (2021). https://doi.org/10.4204/eptcs.337.8.
  5. Southern, M.: A Framework for Reasoning About LF Specifications. phdthesis. University of Minnesota. (2021).
  6. Johnson, C., Nadathur, G.: Transporting Theorems about Typeability in LF Across Schematically Defined Contexts. In: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, Rende, Italy (2025). https://doi.org/10.1145/3756907.3756919.
Last updated on
POPLMark Challenge