Communication problems in the -calculus - Benevides, M.R.F.; Protti, Fábio (Rio de Janeiro : Universidad Federal do Rio de Janeiro, 2000)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA