Computing with lambda-terms
A special issue dedicated to Corrado Bohm for his 90th birthdays
In honor of Corrado Bohm at the occasion of his 90th birthday, a
Festschrift will be published as a special issue of Mathematical
Structures in Computer Science.
The Festschrift will be presented during a special event in honor
of Corrado Bohm at ETAPS 2013, 16-24 March 2013, Rome, Italy.
We invite submissions on all the topics covered by Corrado Bohm's
research and in particular new contributions on syntax and semantics
of lambda-calculus, logic and type systems, functional programming.
We also welcome surveys or position papers on current and future
directions of research on the above topics.
A more detailed, but not exclusive, list of topics of interest for
Lambda-calculus and higher-order rewriting systems: properties of
reductions, reduction strategies, combinatory logic, Bohm-out
and Bohm-trees, variants and extensions of lambda-calculus,
term and graph rewriting systems, higher-order reduction.
Semantics of lambda-calculus: Bohm-trees, models and theories of
Logic and types: type systems, linear logic, types and logics for
resources, implicit computational complexity.
Functional programming: foundational aspects of functional
programming, Curry-Howard isomorphism, applications and
implementations of functional programming.
New and alternative approaches to computing: quantum calculi,
biologically inspired models and calculi.
Submitted papers should stay within the scope of MSCS.
The results must be unpublished and not submitted for publication
elsewhere. Submissions will be refereed according to the usual high
standards of MSCS.
Submissions should not exceed 20 pages of content (excluding references
and appendices). Submissions exceeding 25 pages (including references
and appendices) will require a specific justification and the agreement
of the editors.
Further information and instructions about submission will be
available at http://www.lipn.univ-paris13.fr/~guerrini/bohm90/
Title and short abstract submission: 1 september 2012
Deadline for submission: 15 september 2012 (STRICT!)
First referee report: 15 december 2012
Revised version: 15 january 2013
Notification: 1 march 2013
Final version: 1 june 2013
Henk Barendregt (henk at cs.ru.nl)
Stefano Guerrini (guerrini at univ-paris13.fr)
Adolfo Piperno (piperno at di.uniroma1.it)