Artigos (1) Publicacións nas que participase algún/ha investigador/a

1977

  1. Primitive recursive algebraic theories and program schemes

    Bulletin of the Australian Mathematical Society, Vol. 17, Núm. 2, pp. 207-233