Zobrazeno 1 - 10
of 421
pro vyhledávání: '"John Longley"'
Autor:
Usui, Chikako
Publikováno v:
The Journal of Asian Studies, 1994 Nov 01. 53(4), 1342-1343.
Externí odkaz:
https://www.jstor.org/stable/2059331
Autor:
Chikako Usui
Publikováno v:
The Journal of Asian Studies. 53:1342-1343
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0eecbc7328d28fd518bbb49ba5231f61
https://doi.org/10.2307/2059331
https://doi.org/10.2307/2059331
Autor:
John Longley
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
We consider the sublanguages of Plotkin's PCF obtained by imposing some bound k on the levels of types for which fixed point operators are admitted. We show that these languages form a strict hierarchy, in the sense that a fixed point operator for a
Externí odkaz:
https://doaj.org/article/3e088bd17f6b4e7c8000fd529671af68
Autor:
Alan M. G. Stephenson
Publikováno v:
Notes and Queries. :313-314
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a25e6d9d087c65b780179a2be378c46c
https://doi.org/10.1093/nq/cc.jul.313c
https://doi.org/10.1093/nq/cc.jul.313c
Autor:
COURTNEY, W. P.
Publikováno v:
Notes & Queries; 7/22/1905 10th Series, Vol. 4 Issue 82, p61-64, 4p