Categorical comprehensions and recursion

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

ISSN: 1465-363X,  0955-792X

Any de publicació: 2017

Volum: 27

Número: 5

Pàgines: 1607-1641

Tipus: Article

DOI: 10.1093/LOGCOM/EXW020 GOOGLE SCHOLAR
Font de les dades: Scopus