Publications

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

Publications

  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).

  3. Nadathur, G., Southern, M.: A Logic for Reasoning About LF Specifications, (2021).

  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/https://doi.org/10.4204/eptcs.337.8.

  5. Southern, M.: A Framework for Reasoning About LF Specifications, https://conservancy.umn.edu/handle/11299/223120, (2021).

POPLMark Challenge