Matches in SemOpenAlex for { <https://semopenalex.org/work/W1986249546> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1986249546 endingPage "41" @default.
- W1986249546 startingPage "1" @default.
- W1986249546 abstract "Finitely typed functional programs are naturally classified by their levels. This syntactic classification of functional programs corresponds to a semantical classification: the higher the level of functional programs, the more functions they can compute. We call FL the language of finitely typed functional programs. The halting problem on finite interpretations is elementary recursive for every FL program, i.e. for every FL program P there is an elementary recursive procedure to decide for every finite interpretation I whether P halts on I. The well-known programming language ML is essentially FL, augmented with the polymorphic let-in constructor. We show that ML computes the same class of functions as FL. As a consequence." @default.
- W1986249546 created "2016-06-24" @default.
- W1986249546 creator A5023573472 @default.
- W1986249546 creator A5081098905 @default.
- W1986249546 creator A5090898185 @default.
- W1986249546 date "1992-02-01" @default.
- W1986249546 modified "2023-09-23" @default.
- W1986249546 title "On the expressive power of finitely typed and universally polymorphic recursive procedures" @default.
- W1986249546 cites W1971835879 @default.
- W1986249546 cites W1977367505 @default.
- W1986249546 cites W2007098021 @default.
- W1986249546 cites W2007270285 @default.
- W1986249546 cites W2010007177 @default.
- W1986249546 cites W2025057593 @default.
- W1986249546 cites W2038233397 @default.
- W1986249546 cites W2078079279 @default.
- W1986249546 cites W2084804067 @default.
- W1986249546 cites W2166822586 @default.
- W1986249546 cites W4212777788 @default.
- W1986249546 cites W4256221334 @default.
- W1986249546 doi "https://doi.org/10.1016/0304-3975(92)90210-7" @default.
- W1986249546 hasPublicationYear "1992" @default.
- W1986249546 type Work @default.
- W1986249546 sameAs 1986249546 @default.
- W1986249546 citedByCount "5" @default.
- W1986249546 crossrefType "journal-article" @default.
- W1986249546 hasAuthorship W1986249546A5023573472 @default.
- W1986249546 hasAuthorship W1986249546A5081098905 @default.
- W1986249546 hasAuthorship W1986249546A5090898185 @default.
- W1986249546 hasBestOaLocation W19862495461 @default.
- W1986249546 hasConcept C118615104 @default.
- W1986249546 hasConcept C136119220 @default.
- W1986249546 hasConcept C154945302 @default.
- W1986249546 hasConcept C162860070 @default.
- W1986249546 hasConcept C195818886 @default.
- W1986249546 hasConcept C199360897 @default.
- W1986249546 hasConcept C202444582 @default.
- W1986249546 hasConcept C2777212361 @default.
- W1986249546 hasConcept C2982939207 @default.
- W1986249546 hasConcept C33923547 @default.
- W1986249546 hasConcept C41008148 @default.
- W1986249546 hasConcept C42383842 @default.
- W1986249546 hasConcept C527412718 @default.
- W1986249546 hasConceptScore W1986249546C118615104 @default.
- W1986249546 hasConceptScore W1986249546C136119220 @default.
- W1986249546 hasConceptScore W1986249546C154945302 @default.
- W1986249546 hasConceptScore W1986249546C162860070 @default.
- W1986249546 hasConceptScore W1986249546C195818886 @default.
- W1986249546 hasConceptScore W1986249546C199360897 @default.
- W1986249546 hasConceptScore W1986249546C202444582 @default.
- W1986249546 hasConceptScore W1986249546C2777212361 @default.
- W1986249546 hasConceptScore W1986249546C2982939207 @default.
- W1986249546 hasConceptScore W1986249546C33923547 @default.
- W1986249546 hasConceptScore W1986249546C41008148 @default.
- W1986249546 hasConceptScore W1986249546C42383842 @default.
- W1986249546 hasConceptScore W1986249546C527412718 @default.
- W1986249546 hasIssue "1" @default.
- W1986249546 hasLocation W19862495461 @default.
- W1986249546 hasOpenAccess W1986249546 @default.
- W1986249546 hasPrimaryLocation W19862495461 @default.
- W1986249546 hasRelatedWork W1481383228 @default.
- W1986249546 hasRelatedWork W1489609867 @default.
- W1986249546 hasRelatedWork W1582952879 @default.
- W1986249546 hasRelatedWork W1601811574 @default.
- W1986249546 hasRelatedWork W1986249546 @default.
- W1986249546 hasRelatedWork W2062155745 @default.
- W1986249546 hasRelatedWork W2068737373 @default.
- W1986249546 hasRelatedWork W2087060298 @default.
- W1986249546 hasRelatedWork W2115737686 @default.
- W1986249546 hasRelatedWork W4236471128 @default.
- W1986249546 hasVolume "93" @default.
- W1986249546 isParatext "false" @default.
- W1986249546 isRetracted "false" @default.
- W1986249546 magId "1986249546" @default.
- W1986249546 workType "article" @default.