A rewriting system for categorical combinators with multiple arguments (1988)

by H Yokouchi, T Hikita
Venue:Inria Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex Unit'e de recherche Inria Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 Sophia-Antipolis Cedex ' Editeur Inria, Domaine de Voluceau, Rocquencourt, BP 105, 7815