Regressive isols and the relation ya≤ybBARBACK, J.Journal of the London Mathematical Society. 1990, Vol 41, Num 1, pp 1-9, issn 0024-6107, 9 p.Article

Recursive surreal numbersHARKLEROAD, L.Notre Dame journal of formal logic. 1990, Vol 31, Num 3, pp 337-345, issn 0029-4527, 9 p.Article

A 1-generic degree which bounds a minimal degreeKUMABE, M.The Journal of symbolic logic. 1990, Vol 55, Num 2, pp 733-743, issn 0022-4812, 11 p.Article

Programmation = ProgrammingROBINET, Bernard.Techniques de l'ingénieur. Informatique. 1998, Vol HB3, Num H3008, pp H3008.1-H3008.6, issn 0245-9612Article

Circular programs and self-referential structuresALLISON, L.Software, practice & experience. 1989, Vol 19, Num 2, pp 99-109, issn 0038-0644Article

Computability of physical operationsPOSIEWNIK, A.International journal of theoretical physics. 1988, Vol 27, Num 1, pp 83-88, issn 0020-7748Article

Colimit completions and the effective toposROBINSON, E; ROSOLINI, G.The Journal of symbolic logic. 1990, Vol 55, Num 2, pp 678-699, issn 0022-4812, 22 p.Article

Simple interpretations among complicated theoriesGRAÊDEL, E.Information processing letters. 1990, Vol 35, Num 5, pp 235-238, issn 0020-0190, 4 p.Article

A correction of the termination conditions of the Henschen-Naqvi techniqueBRIGGS, D. A.Journal of the Association for Computing Machinery. 1990, Vol 37, Num 4, pp 712-719, issn 0004-5411, 8 p.Article

There are 2^N0 many H-degrees in the random realsLIANG YU; DECHENG DING.Proceedings of the American Mathematical Society. 2004, Vol 132, Num 8, pp 2461-2464, issn 0002-9939, 4 p.Article

Recursive fibers of RST isolsMCLAUGHLIN, T. G.Proceedings of the American Mathematical Society. 1993, Vol 117, Num 4, pp 1141-1147, issn 0002-9939Article

Abstract hierarchies and degreesIVANOV, L. L.The Journal of symbolic logic. 1989, Vol 54, Num 1, pp 16-25, issn 0022-4812Article

Another extension of Van de Wiele's theoremLUBARSKY, R. S.Annals of pure and applied logic. 1988, Vol 38, Num 3, pp 301-306, issn 0168-0072Article

Recursion theorems and effective domainsKANDA, A.Annals of pure and applied logic. 1988, Vol 38, Num 3, pp 289-300, issn 0168-0072Article

The independence of Peano's fourth axiom from Martin-Löf's type theory without universesSMITH, J. M.The Journal of symbolic logic. 1988, Vol 53, Num 3, pp 840-845, issn 0022-4812Article

1-generic degrees and minimal degrees in higher recursion theory, IICHONG, C. T.Annals of pure and applied logic. 1986, Vol 31, Num 2-3, pp 165-175, issn 0168-0072Article

Adjointness in recursionMULRY, P. S.Annals of pure and applied logic. 1986, Vol 32, Num 3, pp 281-289, issn 0168-0072Article

Malaise et guérison = Discomfort and recoveryPOIZAT, B.Studies in logic and the foundations of mathematics. 1986, Vol 120, pp 155-163, issn 0049-237XConference Paper

Sur le problème de la typabilité dans le système F = About the problem of typability in the system FMALECKI, S.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1993, Vol 316, Num 11, pp 1111-1116, issn 0764-4442Article

A categorical approach to the theory of computationMULRY, P. S.Annals of pure and applied logic. 1989, Vol 43, Num 3, pp 293-305, issn 0168-0072Article

Sums of finitely many ordinals of various kindsZUCKERMAN, M.M.Notre Dame journal of formal logic. 1986, Vol 27, Num 4, pp 572-578, issn 0029-4527Article

Fonctionnelles calculables et arithmétique des types d'ordinauxGANOV, V. A.Sibirskij matematičeskij žurnal. 1986, Vol 27, Num 4, pp 41-51, issn 0037-4474Article

Some Pitfalls in Introductory Programming CoursesTEODOSIEV, Teodosi; NACHEV, Anatoli.Informatics in education. 2012, Vol 11, Num 2, pp 241-255, issn 1648-5831, 15 p.Article

Stockage diophantien et hypothèse abc généralisée = Diophantine storing and the generalized abc-hypothesisCORNELISSEN, G.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1999, Vol 328, Num 1, pp 3-8, issn 0764-4442Article

On recursive bounds for the exceptional values in speed-upBRIDGES, D; CALUDE, C.Theoretical computer science. 1994, Vol 132, Num 1-2, pp 387-394, issn 0304-3975Article