Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023773759> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2023773759 endingPage "408" @default.
- W2023773759 startingPage "405" @default.
- W2023773759 created "2016-06-24" @default.
- W2023773759 creator A5071784825 @default.
- W2023773759 date "1991-09-01" @default.
- W2023773759 modified "2023-09-27" @default.
- W2023773759 title "An upper bound for reduction sequences in the typed λ-calculus" @default.
- W2023773759 cites W2030975201 @default.
- W2023773759 cites W2075824323 @default.
- W2023773759 doi "https://doi.org/10.1007/bf01621476" @default.
- W2023773759 hasPublicationYear "1991" @default.
- W2023773759 type Work @default.
- W2023773759 sameAs 2023773759 @default.
- W2023773759 citedByCount "25" @default.
- W2023773759 countsByYear W20237737592012 @default.
- W2023773759 countsByYear W20237737592013 @default.
- W2023773759 countsByYear W20237737592015 @default.
- W2023773759 countsByYear W20237737592023 @default.
- W2023773759 crossrefType "journal-article" @default.
- W2023773759 hasAuthorship W2023773759A5071784825 @default.
- W2023773759 hasConcept C111335779 @default.
- W2023773759 hasConcept C118615104 @default.
- W2023773759 hasConcept C134306372 @default.
- W2023773759 hasConcept C136119220 @default.
- W2023773759 hasConcept C199343813 @default.
- W2023773759 hasConcept C202444582 @default.
- W2023773759 hasConcept C2524010 @default.
- W2023773759 hasConcept C2777686260 @default.
- W2023773759 hasConcept C33923547 @default.
- W2023773759 hasConcept C71924100 @default.
- W2023773759 hasConcept C77553402 @default.
- W2023773759 hasConceptScore W2023773759C111335779 @default.
- W2023773759 hasConceptScore W2023773759C118615104 @default.
- W2023773759 hasConceptScore W2023773759C134306372 @default.
- W2023773759 hasConceptScore W2023773759C136119220 @default.
- W2023773759 hasConceptScore W2023773759C199343813 @default.
- W2023773759 hasConceptScore W2023773759C202444582 @default.
- W2023773759 hasConceptScore W2023773759C2524010 @default.
- W2023773759 hasConceptScore W2023773759C2777686260 @default.
- W2023773759 hasConceptScore W2023773759C33923547 @default.
- W2023773759 hasConceptScore W2023773759C71924100 @default.
- W2023773759 hasConceptScore W2023773759C77553402 @default.
- W2023773759 hasIssue "5-6" @default.
- W2023773759 hasLocation W20237737591 @default.
- W2023773759 hasOpenAccess W2023773759 @default.
- W2023773759 hasPrimaryLocation W20237737591 @default.
- W2023773759 hasRelatedWork W1990650528 @default.
- W2023773759 hasRelatedWork W2027331439 @default.
- W2023773759 hasRelatedWork W2038812594 @default.
- W2023773759 hasRelatedWork W2051946902 @default.
- W2023773759 hasRelatedWork W2091298178 @default.
- W2023773759 hasRelatedWork W2359118052 @default.
- W2023773759 hasRelatedWork W2374829073 @default.
- W2023773759 hasRelatedWork W2613624679 @default.
- W2023773759 hasRelatedWork W2783434815 @default.
- W2023773759 hasRelatedWork W3213470095 @default.
- W2023773759 hasVolume "30" @default.
- W2023773759 isParatext "false" @default.
- W2023773759 isRetracted "false" @default.
- W2023773759 magId "2023773759" @default.
- W2023773759 workType "article" @default.