Funkcjonały i hardware

Abstrakt: Funkcjonały to funkcje wyższych rzędów, które biorą jako argumenty funkcje (ogólnie również funkcjonały).  Funkcjonały obliczalne są badane począwszy od lat 50-tych XX wieku, Grzegorczyk, Kleene i Kreisel.  Częściowe obliczalne funkcjonały zostały dobrze zdefiniowane  (PCF++) przez Platek, Scott, Plotkin i Sazonov. Ogólne (zdefiniowane na całej dziedzinie) funkcjonały wciąż stanowią problem a są ważne zarówno dla programowania funkcyjnego, podstaw Matematyki i co ciekawe również przy projektowaniu układów scalonych. W pracy jest zaproponowane proste podejście do konstrukcji takich ogólnych funkcjonałów.       

Najnowsza wersja prezentowanej pracy jest na http://arxiv.org/abs/1501.03043