Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: boldface recursion

Sortuj według:

Ogranicz wyniki do:

Boldface recursion on Platek spaces

Ivanov L.

Fundamenta Informaticae

2000

Vol. 44, Nr 1,2

183-208

The present work develops a boldface version of the theory of Platek spaces initiated. This is done by studying recursion on spaces with special elements which embody the so called transfer operation, Chapter 14 affording full lambda-abstraction. Transfer is characteristic of the monotonic hierarchies of operative spaces, which hierarchies form models of a typed lambda-mu-calculus. The principal result here is a boldface version of the abstract Platek First Recursion Theorem; we prove appropriate boldface Enumeration and Second Recursion Theorems as well.