Realization of the structure functions
β Scribed by P. Ya. Grushko
- Publisher
- SP MAIK Nauka/Interperiodica
- Year
- 1981
- Tongue
- English
- Weight
- 327 KB
- Volume
- 30
- Category
- Article
- ISSN
- 0001-4346
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We consider a notion of sequential functional of ΓΏnite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" and "e ective" partial type structures arising from this notion of sequentiality. The full type structure coincides with that given by the
In an earlier paper Agoston et al., CMS Conf. Proc. 18 1996 , 17α37 we studied the so-called Frobenius functions on certain translation quivers. Here we show that the classification given there is in some sense complete: every Frobenius length Ε½ . Ε½ . function on the wing W n and the tube T n is equ