A simple adequate categorical model for PCF, II

• Autorzy: Braüner T.
• Języki publikacji: EN

Abstrakty

EN

Usually types of PCF are interpreted as cpos and terms as continuous functions. It is then the case that non-termination of a closed term nation of a closed term of ground type corresponds to the interpretation being bottom; we say that the semantics is adequate. We shall here present an axiomatic approach to adequacy for PCF in the sense that we will introduce categorical axioms enabling an adequate semantics to be given. We assume the presence of certain 'undefined' maps with the role of being the interpretation of non-terminating terms, but the order-structure is left out. This is different from previous approaches where some kind of order-theoretic structure has been considered as part an adequate categorical model for PCF. We take the point of view that partiality is the fundamental notion from which order-structure should be derived, which is corroborated by the observation that our categorical model induces an order-theoretic model PCF in a canonical way.

Słowa kluczowe

EN

adequacy; Programming Computable Functions; categorical model

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1998
• Tom: Vol. 33, nr 4
• Strony: 339--368
• Opis fizyczny: bibliogr. 26 poz.

Twórcy

autor

Braüner T.

• Centre for Philosophy and Science-Theory Aalborg University Langagervej 6 DK-9220 Aalborg East, Denmark,