[TYPES] Confluence of combinatory strong reduction

[Pierluigi Minari]

We are pleased to announce our papers (presently under review in different
Journals):

- René David, A direct proof of the confluence of combinatory strong
reduction,
- Pierluigi Minari, A solution to Curry and Hindley's problem on combinatory
strong reduction,

providing two different *direct* proofs of confluence for combinatory strong
reduction,
and so two different solutions to Curry and Hindley's problem dating back to
1958
--- see http://tlca.di.unito.it/opltlca/, Problem #1.

Both papers can be downloaded from the links indicated at the TLCA-list
webpage above.

René David,  Pierluigi Minari

René David
LAMA
Université de Savoie
david at univ-savoie.fr

Pierluigi Minari
Dipartimento di Filosofia
Università di Firenze
minari at unifi.it