Categorical comprehensions and recursion

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

ISSN: 1465-363X,  0955-792X

Year of publication: 2017

Volume: 27

Issue: 5

Pages: 1607-1641

Type: Article

DOI: 10.1093/LOGCOM/EXW020 GOOGLE SCHOLAR
Data source: Scopus