Logical Methods in Computer Science

Special Issue in Memory of Corrado Böhm

Call for papers

• The authors should express their interest by sending an abstract by July 31 2018 to all the editors.
• The deadline for the papers is September 30 2018.

The papers will be referred to the usual high standard of Logical Methods in Computer Science.

Editors

• Henk Barendregt (henk@cs.ru.nl)
• Mariangiola Dezani (dezani@di.unito.it)
• Benedetto Intrigila (intrigil@mat.uniroma2.it)