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

• To: types@cis.upenn.edu
• Subject: MSCS: Special Issue on "Lambda-Calculus and Logic"
• From: Mariangiola Dezani <mdezani@di.unito.it>
• Date: Tue, 12 Oct 1999 16:29:39 +0200
• Organization: Department of Computer Science - University of Torino
• Sender: mdezani@di.unito.it

Mathematical Structures in Computer Science
Volume 9 Issue 4

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

Contents:
Preface
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  
Hofmann

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@cup.cam.ac.uk

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

• Prev: Journal of Functional Programming
• Next: CFP PPDP 2000
• Index(es):
  • Main
  • Thread