Categorical comprehensions and recursion

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

ISSN: 1465-363X,  0955-792X

Année de publication: 2017

Volumen: 27

Número: 5

Pages: 1607-1641

Type: Article

DOI: 10.1093/LOGCOM/EXW020 GOOGLE SCHOLAR
La source de données: Scopus