FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489404877> ?p ?o ?g. }

• W1489404877 abstract "In this thesis I introduce a new approach to the automated analysis of thereduction behaviour of A-calculus terms. This new approach improves on earlieranalysers in several ways, not least in its treatment of higher-order terms andpolymorphism, two notably troublesome issues.In addition, this thesis introduces a stronger notion of reduction behaviourthan strictness. This concept, called strong head neededness, forms the basis fora new notation for describing the reduction behaviour of terms. This notationis a kind of type, elements of which are built using a Boolean algebra of functiontype constructors. Thus the form of the methodology proposed is that of a typesystem.Consideration is given to a variety of type assignment systems for the newtype system. This supports the hypothesis that the approach proposed is suitableas a framework for building a range of analyses. Having established thisframework it is then a matter of engineering to determine the appropriate tradeoff between information derived and performance achieved.An investigation is conducted into the formal semantics of all the constructsintroduced. In particular, the investigation proves a range of soundness andcompleteness results. Also examined is the semantics of the new notion of typeand the development of a model for reduction types. The model is of interest inits own right, as it gives further insight into the reduction behaviour of A-terms.The thesis includes detailed implementations of all the type assignmentsystems and ascertains the correctness of these implementations." @default.
• W1489404877 created "2016-06-24" @default.
• W1489404877 creator A5021866129 @default.
• W1489404877 date "1992-01-01" @default.
• W1489404877 modified "2023-09-27" @default.
• W1489404877 title "Reduction types and intensionality in the lambda-calculus" @default.
• W1489404877 cites W1487867650 @default.
• W1489404877 cites W1509994893 @default.
• W1489404877 cites W1537394154 @default.
• W1489404877 cites W156690058 @default.
• W1489404877 cites W1591498447 @default.
• W1489404877 cites W1602274351 @default.
• W1489404877 cites W1970227944 @default.
• W1489404877 cites W2043100293 @default.
• W1489404877 cites W2079958455 @default.
• W1489404877 cites W2154273644 @default.
• W1489404877 cites W2317286377 @default.
• W1489404877 cites W2769900404 @default.
• W1489404877 cites W3083490477 @default.
• W1489404877 hasPublicationYear "1992" @default.
• W1489404877 type Work @default.
• W1489404877 sameAs 1489404877 @default.
• W1489404877 citedByCount "5" @default.
• W1489404877 crossrefType "dissertation" @default.
• W1489404877 hasAuthorship W1489404877A5021866129 @default.
• W1489404877 hasConcept C111335779 @default.
• W1489404877 hasConcept C134306372 @default.
• W1489404877 hasConcept C135790938 @default.
• W1489404877 hasConcept C136119220 @default.
• W1489404877 hasConcept C156325763 @default.
• W1489404877 hasConcept C159985019 @default.
• W1489404877 hasConcept C17231256 @default.
• W1489404877 hasConcept C184337299 @default.
• W1489404877 hasConcept C18903297 @default.
• W1489404877 hasConcept C192562407 @default.
• W1489404877 hasConcept C199360897 @default.
• W1489404877 hasConcept C202444582 @default.
• W1489404877 hasConcept C204323151 @default.
• W1489404877 hasConcept C2524010 @default.
• W1489404877 hasConcept C26713055 @default.
• W1489404877 hasConcept C2777299769 @default.
• W1489404877 hasConcept C33923547 @default.
• W1489404877 hasConcept C39920170 @default.
• W1489404877 hasConcept C41008148 @default.
• W1489404877 hasConcept C45357846 @default.
• W1489404877 hasConcept C55439883 @default.
• W1489404877 hasConcept C80444323 @default.
• W1489404877 hasConcept C86803240 @default.
• W1489404877 hasConcept C93682546 @default.
• W1489404877 hasConcept C94375191 @default.
• W1489404877 hasConceptScore W1489404877C111335779 @default.
• W1489404877 hasConceptScore W1489404877C134306372 @default.
• W1489404877 hasConceptScore W1489404877C135790938 @default.
• W1489404877 hasConceptScore W1489404877C136119220 @default.
• W1489404877 hasConceptScore W1489404877C156325763 @default.
• W1489404877 hasConceptScore W1489404877C159985019 @default.
• W1489404877 hasConceptScore W1489404877C17231256 @default.
• W1489404877 hasConceptScore W1489404877C184337299 @default.
• W1489404877 hasConceptScore W1489404877C18903297 @default.
• W1489404877 hasConceptScore W1489404877C192562407 @default.
• W1489404877 hasConceptScore W1489404877C199360897 @default.
• W1489404877 hasConceptScore W1489404877C202444582 @default.
• W1489404877 hasConceptScore W1489404877C204323151 @default.
• W1489404877 hasConceptScore W1489404877C2524010 @default.
• W1489404877 hasConceptScore W1489404877C26713055 @default.
• W1489404877 hasConceptScore W1489404877C2777299769 @default.
• W1489404877 hasConceptScore W1489404877C33923547 @default.
• W1489404877 hasConceptScore W1489404877C39920170 @default.
• W1489404877 hasConceptScore W1489404877C41008148 @default.
• W1489404877 hasConceptScore W1489404877C45357846 @default.
• W1489404877 hasConceptScore W1489404877C55439883 @default.
• W1489404877 hasConceptScore W1489404877C80444323 @default.
• W1489404877 hasConceptScore W1489404877C86803240 @default.
• W1489404877 hasConceptScore W1489404877C93682546 @default.
• W1489404877 hasConceptScore W1489404877C94375191 @default.
• W1489404877 hasLocation W14894048771 @default.
• W1489404877 hasOpenAccess W1489404877 @default.
• W1489404877 hasPrimaryLocation W14894048771 @default.
• W1489404877 hasRelatedWork W1512248102 @default.
• W1489404877 hasRelatedWork W1597593202 @default.
• W1489404877 hasRelatedWork W1826040061 @default.
• W1489404877 hasRelatedWork W1996742209 @default.
• W1489404877 hasRelatedWork W2017720469 @default.
• W1489404877 hasRelatedWork W2049059975 @default.
• W1489404877 hasRelatedWork W2055807110 @default.
• W1489404877 hasRelatedWork W2087851652 @default.
• W1489404877 hasRelatedWork W2115848326 @default.
• W1489404877 hasRelatedWork W2152390299 @default.
• W1489404877 hasRelatedWork W2200330162 @default.
• W1489404877 hasRelatedWork W2530798984 @default.
• W1489404877 hasRelatedWork W2566284873 @default.
• W1489404877 hasRelatedWork W2741834483 @default.
• W1489404877 hasRelatedWork W2906524718 @default.
• W1489404877 hasRelatedWork W2952623567 @default.
• W1489404877 hasRelatedWork W2990518766 @default.
• W1489404877 hasRelatedWork W3036168088 @default.
• W1489404877 hasRelatedWork W3193818608 @default.
• W1489404877 hasRelatedWork W2738831293 @default.
• W1489404877 isParatext "false" @default.
• W1489404877 isRetracted "false" @default.

• next