Categorical comprehensions and recursion

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

ISSN: 1465-363X,  0955-792X

Datum der Publikation: 2017

Ausgabe: 27

Nummer: 5

Seiten: 1607-1641

Art: Artikel

DOI: 10.1093/LOGCOM/EXW020 GOOGLE SCHOLAR
Datenquelle: Scopus