Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046193889> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2046193889 endingPage "12" @default.
- W2046193889 startingPage "3" @default.
- W2046193889 abstract "Consider the following restriction of the polymorphically typed lambda calculus (“System F ”). All quantifications are parameter free. In other words, in every universal type ∀ α . τ , the quantified variable α is the only free variable in the scope τ of the quantification. This fragment can be locally proven terminating in a system of intuitionistic second-order arithmetic known to have strength of finitely iterated inductive definitions." @default.
- W2046193889 created "2016-06-24" @default.
- W2046193889 creator A5055860523 @default.
- W2046193889 date "2008-11-01" @default.
- W2046193889 modified "2023-10-17" @default.
- W2046193889 title "Parameter-free polymorphic types" @default.
- W2046193889 cites W110027972 @default.
- W2046193889 cites W1595372275 @default.
- W2046193889 cites W160954955 @default.
- W2046193889 cites W2033508078 @default.
- W2046193889 cites W2088979440 @default.
- W2046193889 cites W2097311580 @default.
- W2046193889 cites W2107359728 @default.
- W2046193889 cites W2323777246 @default.
- W2046193889 cites W2906785358 @default.
- W2046193889 cites W2907713860 @default.
- W2046193889 doi "https://doi.org/10.1016/j.apal.2008.06.002" @default.
- W2046193889 hasPublicationYear "2008" @default.
- W2046193889 type Work @default.
- W2046193889 sameAs 2046193889 @default.
- W2046193889 citedByCount "3" @default.
- W2046193889 countsByYear W20461938892013 @default.
- W2046193889 countsByYear W20461938892018 @default.
- W2046193889 crossrefType "journal-article" @default.
- W2046193889 hasAuthorship W2046193889A5055860523 @default.
- W2046193889 hasBestOaLocation W20461938892 @default.
- W2046193889 hasConcept C118615104 @default.
- W2046193889 hasConcept C134306372 @default.
- W2046193889 hasConcept C140479938 @default.
- W2046193889 hasConcept C182365436 @default.
- W2046193889 hasConcept C18903297 @default.
- W2046193889 hasConcept C199343813 @default.
- W2046193889 hasConcept C199360897 @default.
- W2046193889 hasConcept C202444582 @default.
- W2046193889 hasConcept C2777299769 @default.
- W2046193889 hasConcept C2777686260 @default.
- W2046193889 hasConcept C2778012447 @default.
- W2046193889 hasConcept C33923547 @default.
- W2046193889 hasConcept C41008148 @default.
- W2046193889 hasConcept C71924100 @default.
- W2046193889 hasConcept C86803240 @default.
- W2046193889 hasConceptScore W2046193889C118615104 @default.
- W2046193889 hasConceptScore W2046193889C134306372 @default.
- W2046193889 hasConceptScore W2046193889C140479938 @default.
- W2046193889 hasConceptScore W2046193889C182365436 @default.
- W2046193889 hasConceptScore W2046193889C18903297 @default.
- W2046193889 hasConceptScore W2046193889C199343813 @default.
- W2046193889 hasConceptScore W2046193889C199360897 @default.
- W2046193889 hasConceptScore W2046193889C202444582 @default.
- W2046193889 hasConceptScore W2046193889C2777299769 @default.
- W2046193889 hasConceptScore W2046193889C2777686260 @default.
- W2046193889 hasConceptScore W2046193889C2778012447 @default.
- W2046193889 hasConceptScore W2046193889C33923547 @default.
- W2046193889 hasConceptScore W2046193889C41008148 @default.
- W2046193889 hasConceptScore W2046193889C71924100 @default.
- W2046193889 hasConceptScore W2046193889C86803240 @default.
- W2046193889 hasIssue "1" @default.
- W2046193889 hasLocation W20461938891 @default.
- W2046193889 hasLocation W20461938892 @default.
- W2046193889 hasOpenAccess W2046193889 @default.
- W2046193889 hasPrimaryLocation W20461938891 @default.
- W2046193889 hasRelatedWork W2037293272 @default.
- W2046193889 hasRelatedWork W2062855373 @default.
- W2046193889 hasRelatedWork W2093070774 @default.
- W2046193889 hasRelatedWork W2111314111 @default.
- W2046193889 hasRelatedWork W2119607119 @default.
- W2046193889 hasRelatedWork W2962682765 @default.
- W2046193889 hasRelatedWork W2962794820 @default.
- W2046193889 hasRelatedWork W2963330383 @default.
- W2046193889 hasRelatedWork W3012702445 @default.
- W2046193889 hasRelatedWork W4245102737 @default.
- W2046193889 hasVolume "156" @default.
- W2046193889 isParatext "false" @default.
- W2046193889 isRetracted "false" @default.
- W2046193889 magId "2046193889" @default.
- W2046193889 workType "article" @default.