Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078285934> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2078285934 endingPage "337" @default.
- W2078285934 startingPage "325" @default.
- W2078285934 abstract "The λY calculus is the simply typed λ calculus augmented with the fixed point operators. We show three results about λY: (a) the word problem is undecidable, (b) weak normalisability is decidable, and (c) higher type fixed point operators are not definable from fixed point operators at smaller types." @default.
- W2078285934 created "2016-06-24" @default.
- W2078285934 creator A5051071400 @default.
- W2078285934 date "2004-12-01" @default.
- W2078285934 modified "2023-09-26" @default.
- W2078285934 title "On the λY calculus" @default.
- W2078285934 cites W1497630311 @default.
- W2078285934 cites W2007098021 @default.
- W2078285934 cites W2132784926 @default.
- W2078285934 cites W2313175711 @default.
- W2078285934 doi "https://doi.org/10.1016/j.apal.2004.04.004" @default.
- W2078285934 hasPublicationYear "2004" @default.
- W2078285934 type Work @default.
- W2078285934 sameAs 2078285934 @default.
- W2078285934 citedByCount "5" @default.
- W2078285934 countsByYear W20782859342013 @default.
- W2078285934 countsByYear W20782859342015 @default.
- W2078285934 countsByYear W20782859342019 @default.
- W2078285934 countsByYear W20782859342021 @default.
- W2078285934 crossrefType "journal-article" @default.
- W2078285934 hasAuthorship W2078285934A5051071400 @default.
- W2078285934 hasBestOaLocation W20782859341 @default.
- W2078285934 hasConcept C118615104 @default.
- W2078285934 hasConcept C134306372 @default.
- W2078285934 hasConcept C153269930 @default.
- W2078285934 hasConcept C18903297 @default.
- W2078285934 hasConcept C192034797 @default.
- W2078285934 hasConcept C199343813 @default.
- W2078285934 hasConcept C2524010 @default.
- W2078285934 hasConcept C2777299769 @default.
- W2078285934 hasConcept C2777686260 @default.
- W2078285934 hasConcept C28719098 @default.
- W2078285934 hasConcept C33923547 @default.
- W2078285934 hasConcept C61445026 @default.
- W2078285934 hasConcept C71924100 @default.
- W2078285934 hasConcept C86803240 @default.
- W2078285934 hasConceptScore W2078285934C118615104 @default.
- W2078285934 hasConceptScore W2078285934C134306372 @default.
- W2078285934 hasConceptScore W2078285934C153269930 @default.
- W2078285934 hasConceptScore W2078285934C18903297 @default.
- W2078285934 hasConceptScore W2078285934C192034797 @default.
- W2078285934 hasConceptScore W2078285934C199343813 @default.
- W2078285934 hasConceptScore W2078285934C2524010 @default.
- W2078285934 hasConceptScore W2078285934C2777299769 @default.
- W2078285934 hasConceptScore W2078285934C2777686260 @default.
- W2078285934 hasConceptScore W2078285934C28719098 @default.
- W2078285934 hasConceptScore W2078285934C33923547 @default.
- W2078285934 hasConceptScore W2078285934C61445026 @default.
- W2078285934 hasConceptScore W2078285934C71924100 @default.
- W2078285934 hasConceptScore W2078285934C86803240 @default.
- W2078285934 hasIssue "1-3" @default.
- W2078285934 hasLocation W20782859341 @default.
- W2078285934 hasOpenAccess W2078285934 @default.
- W2078285934 hasPrimaryLocation W20782859341 @default.
- W2078285934 hasRelatedWork W1485718948 @default.
- W2078285934 hasRelatedWork W1543051890 @default.
- W2078285934 hasRelatedWork W1563786920 @default.
- W2078285934 hasRelatedWork W1618267488 @default.
- W2078285934 hasRelatedWork W2021891065 @default.
- W2078285934 hasRelatedWork W2045137510 @default.
- W2078285934 hasRelatedWork W2056142535 @default.
- W2078285934 hasRelatedWork W3144220040 @default.
- W2078285934 hasRelatedWork W4297670065 @default.
- W2078285934 hasRelatedWork W2585890227 @default.
- W2078285934 hasVolume "130" @default.
- W2078285934 isParatext "false" @default.
- W2078285934 isRetracted "false" @default.
- W2078285934 magId "2078285934" @default.
- W2078285934 workType "article" @default.