On recursive principles in cartesian categories (1990)

by L Rom'an
Venue:Aportaciones Matem'aticas Comunicaciones