Categorical comprehensions and recursion

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

ISSN: 1465-363X,  0955-792X

Argitalpen urtea: 2017

Alea: 27

Zenbakia: 5

Orrialdeak: 1607-1641

Mota: Artikulua

DOI: 10.1093/LOGCOM/EXW020 GOOGLE SCHOLAR
Datuen iturria: Scopus