Publications about Techniques for Lambda Calculus-Related Formalisms

This section contains papers that about techniques and formalisms related to the Lambda Calculus and pattern-based calculi. It includes both refereed publications and reports, but not edited books or volumes. Entries in this section may appear in the others as well.

Journal and conference papers

  • D. Cerna, T. Kutsia. Higher-Order Pattern Generalization Modulo Equational Theories. Mathematical Structures in Computer Science, 30(6), 627–663, 2020. DOI: 10.1017/S0960129520000110.
    PDF, BibTeX.
  • D. Cerna, T. Kutsia. A Generic Framework for Higher-Order Generalizations. In: H. Geuvers, editor. Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019. June 25–29, 2019, Dortmund, Germany. Vol. 131 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2019, 10:1–10:19.
    PDF, BibTeX.
  • S. Alves, B. Dundua, M. Florido, T. Kutsia. Pattern-based calculi with finitary matching. Logic Journal of the IGPL. 26(2):203–243, 2018. DOI: 10.1093/JIGPAL/jzx059.
    PDF (with minor corrections), PDF from the publisher's page, BibTeX.
  • D. Cerna, T. Kutsia. Higher-Order Equational Pattern Anti-Unification. In: H. Kirchner, editor. Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. June 9–12, 2018, Oxford, UK. Vol. 108 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2018, 12:1–12:17.
    PDF, BibTeX.
  • A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. 58(2):293–310, 2017. DOI: 10.1007/s10817-016-9383-3.
    PDF, BibTeX.
  • M. Schmidt-Schauß, T. Kutsia, J. Levy, M. Villaret. Nominal Unification of Higher Order Expressions with Recursive Let. In: M. V. Hermenegildo and P. Lopez-Garcia, editors. Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016. Volume 10184 of Lecture Notes in Computer Science. Springer, 2017. 328–344. © Springer.
    PDF, BibTeX.
  • B. Dundua, M. Florido, T. Kutsia. Lambda Calculus with Regular Types. In: Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015. September 21–24, 2015, Timisoara, Romania. IEEE Computer Society. © IEEE, 2015, 129–136.
    PDF. BibTeX.
  • A. Baumgartner, T. Kutsia, J. Levy, M. Villaret. A Variant of Higher-Order Anti-Unification. In: F. van Raamsdonk, editor, Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013. June 24–26, 2013, Eindhoven, The Netherlands. Vol. 21 of the Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl, 2013, 113–127.
    PDF, BibTeX.

Workshop papers and technical reports

  • S. Alves, B. Dundua, M. Florido, T. Kutsia. A Confluent Pattern Calculus with Hedge Variables. In: N. Hirokawa and V. van Oostrom, editors, 2nd International Workshop on Confluence, IWC 2013. June 28, Eindhoven, The Netherlands. 41–45.
    BibTeX.