MSCS: Special Issue on "Lambda-Calculus and Logic"

Mathematical Structures in Computer Science
Volume 9 Issue 4

Special Issue on "Lambda-Calculus and Logic"
in Honour of Roger Hindley

M. Dezani-Ciancaglini, G. Longo and J.P. Seldin

A new method for establishing conservativity of classical systems  
over their intuitionistic version, Thierry Coquand and Martin  

Some logical and syntactical observations concerning the first-order 
dependent type system lP, Herman Geuvers and Erik Barendsen

On the existence of n but not n+1 easy combinators, Rick Statman

Coinductive characterizations of applicative structures, Furio  
Honsell and Marina Lenisa

A semantics for lambda calculi with resources, Gerard Boudol,  
Pierre-Louis Curien and Carolina Lavatelli

Extending partial combinatory algebras, Inge Bethke, Jan Willem  
Klop and Roel De Vrijer

Stratified polymorphism and primitive recursion, Norman Danner and  
Daniel Leivant

    SPECIAL OFFER - 20% Discount
Order Form and Email enquiries:

Journals Marketing Department, Cambridge University Press, The  
Edinburgh Building, Cambridge CB2 2RU, UK.
Tel: +44 (0)1223 326070  Fax: +44 (0)1223 315052
WWW information: http://www.cup.cam.ac.uk

USA, Canada and Mexico: Cambridge University Press, 40 West 20th  
St., New York, NY 10011-4211, USA Tel: (914) 937 9600 x 154 Fax:  
(914) 937 4712
Email enquiries: journals_marketing@cup.org
WWW information: http://www.cup.org