Categorical comprehensions and recursion

  1. Boils, J.D.
Revista:
Journal of Logic and Computation

ISSN: 1465-363X,  0955-792X

Ano de publicación: 2017

Volume: 27

Número: 5

Páxinas: 1607-1641

Tipo: Artigo

DOI: 10.1093/LOGCOM/EXW020 GOOGLE SCHOLAR
Fonte de datos: Scopus