|
www.ams.org/bull/1964-70-04/S0002-9904-1964-11215-5/S00...
www.ams.org/bull/1964-70-04/S0002-9904-1964-11215-5/S0002-9904-1964-11215-5.pdf
|
that the recursive equivalence type (abbreviated: RET) of a set a, denoted by Req (a), is defined [l, p. 69] as the class of all sets which are recursively equivalent ...
|
|
projecteuclid.org/euclid.bams/1183522848
|
Recursive equivalence types and combinatorial functions ... J. C. E. Dekker and J . Myhill, Recursive equivalence types, to be published in 1959 by University of ...
|
|
books.google.com/books/about/Recursive_equivalence_type...
books.google.com/books/about/Recursive_equivalence_types.html?id=P6IrAAAAYAAJ
|
books.google.comhttp://books.google.com/books/about/ Recursive_equivalence_types.html?id=P6IrAAAAYAAJ&utm_source=gb-gplus- shareRecursive ...
|
|
www.jstor.org/stable/2270975
|
recursive equivalence type of a by Req(a) and write a = r when Req(a) ... applications of the groups P(a) to the theory of recursive equivalence types sug- ...
|
|
www.mendeley.com/research/recursive-equivalence-types-g...
www.mendeley.com/research/recursive-equivalence-types-groups/
|
(1969) Hassett. The Journal of Symbolic Logic. Read by researchers in: 100% Philosophy. The purpose of the paper is to determine whether certain classical ...
|
|
|
|
dl.acm.org/citation.cfm?id=570589
|
We prove that the equivalence of recursive types induced by the ...
|
|
matwbn.icm.edu.pl/ksiazki/fm/fm58/fm5818.pdf
|
The equivalence class (a) of a under recursive equivalence iscalled a recursive equivalence type (RET). The set of RI-DT's is denoted by .9. With each u in E is ...
|
|
www.emu.edu.tr/aelci/Courses/d-318/D-318-Files/plbook/t...
www.emu.edu.tr/aelci/Courses/d-318/D-318-Files/plbook/types.htm
|
... recursive type, binding, strong and weak typing, static and dynamic type checking, type inference, type equivalence, name and structural equivalence, abstract ...
|
|
www.sciencedirect.com/science/article/pii/0168007286900...
www.sciencedirect.com/science/article/pii/0168007286900606
|
Annals of Pure and Applied Logic 31 (1986) 1-21 North-Holland SOUND, TOTALLY SOUND, AND UNSOUND RECURSIVE EQUIVALENCE TYPES R.G. ...
|
