A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Out of the total of 29 papers that were presented at LSFA 2017 and 2018, 15 were invited to submit an extended version to this special issue. ... LSFA aims to be a forum for presenting and discussing work in progress and therefore to provide feedback to authors on their preliminary research. ... We would like to thank all involved in this special issue. ...doi:10.1017/s096012952100044x fatcat:yfcs2dzfubexvni637ihwlynlm
Acknowledgements We would like to thank for the careful and thoughtful review by an anonymous referee. ... Introduction and Motivation An approach to proof search dubbed "coinductive proof search" has been developed by the authors [5, 7]. ... ) , Braga (2018) and Oslo (2019) . ...doi:10.4230/lipics.types.2020 fatcat:qlbs2felejcvrfgqts3g7iyaqy