Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080452006> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2080452006 endingPage "303" @default.
- W2080452006 startingPage "294" @default.
- W2080452006 abstract "Statman′s 1-Section Theorem (Statman, 1985a, in Harvey Friedman′s Research on the Foundations of Mathematics ( L. Harrington et al ., Eds.), pp. 331-338, North-Holland, Amsterdam) is an important but little-known result in the model theory of the simply typed λ-calculus. The 1-Section Theorem states a necessary and sufficient condition on models of the simply-typed λ-calculus for determining whether βη-equational reasoning is complete for proving equations that hold in a model. We review the statement of the theorem, give a detailed proof, and discuss its significance." @default.
- W2080452006 created "2016-06-24" @default.
- W2080452006 creator A5088632935 @default.
- W2080452006 date "1995-02-01" @default.
- W2080452006 modified "2023-09-30" @default.
- W2080452006 title "Statman′s 1-Section Theorem" @default.
- W2080452006 cites W124154939 @default.
- W2080452006 cites W1497630311 @default.
- W2080452006 cites W1500291055 @default.
- W2080452006 cites W1628460930 @default.
- W2080452006 cites W1965297988 @default.
- W2080452006 cites W1968333039 @default.
- W2080452006 cites W1974817955 @default.
- W2080452006 cites W1978856319 @default.
- W2080452006 cites W2007270285 @default.
- W2080452006 cites W2039412438 @default.
- W2080452006 cites W2105505307 @default.
- W2080452006 cites W2141636159 @default.
- W2080452006 cites W2154273644 @default.
- W2080452006 cites W2161982807 @default.
- W2080452006 cites W2405921311 @default.
- W2080452006 cites W2912883082 @default.
- W2080452006 doi "https://doi.org/10.1006/inco.1995.1021" @default.
- W2080452006 hasPublicationYear "1995" @default.
- W2080452006 type Work @default.
- W2080452006 sameAs 2080452006 @default.
- W2080452006 citedByCount "7" @default.
- W2080452006 countsByYear W20804520062013 @default.
- W2080452006 countsByYear W20804520062015 @default.
- W2080452006 countsByYear W20804520062017 @default.
- W2080452006 crossrefType "journal-article" @default.
- W2080452006 hasAuthorship W2080452006A5088632935 @default.
- W2080452006 hasBestOaLocation W20804520061 @default.
- W2080452006 hasConcept C111919701 @default.
- W2080452006 hasConcept C2524010 @default.
- W2080452006 hasConcept C2780129039 @default.
- W2080452006 hasConcept C33923547 @default.
- W2080452006 hasConcept C41008148 @default.
- W2080452006 hasConceptScore W2080452006C111919701 @default.
- W2080452006 hasConceptScore W2080452006C2524010 @default.
- W2080452006 hasConceptScore W2080452006C2780129039 @default.
- W2080452006 hasConceptScore W2080452006C33923547 @default.
- W2080452006 hasConceptScore W2080452006C41008148 @default.
- W2080452006 hasIssue "2" @default.
- W2080452006 hasLocation W20804520061 @default.
- W2080452006 hasLocation W20804520062 @default.
- W2080452006 hasOpenAccess W2080452006 @default.
- W2080452006 hasPrimaryLocation W20804520061 @default.
- W2080452006 hasRelatedWork W2053335949 @default.
- W2080452006 hasRelatedWork W2351579590 @default.
- W2080452006 hasRelatedWork W2369464346 @default.
- W2080452006 hasRelatedWork W2744081616 @default.
- W2080452006 hasRelatedWork W4230191921 @default.
- W2080452006 hasRelatedWork W4230715781 @default.
- W2080452006 hasRelatedWork W4239410129 @default.
- W2080452006 hasRelatedWork W4240444486 @default.
- W2080452006 hasRelatedWork W4241258769 @default.
- W2080452006 hasRelatedWork W4313170336 @default.
- W2080452006 hasVolume "116" @default.
- W2080452006 isParatext "false" @default.
- W2080452006 isRetracted "false" @default.
- W2080452006 magId "2080452006" @default.
- W2080452006 workType "article" @default.