Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899841824> ?p ?o ?g. }
- W2899841824 endingPage "34" @default.
- W2899841824 startingPage "1" @default.
- W2899841824 abstract "We present a general framework for specifying and reasoning about syntax with bindings. Abstract binder types are modeled using a universe of functors on sets, subject to a number of operations that can be used to construct complex binding patterns and binding-aware datatypes, including non-well-founded and infinitely branching types, in a modular fashion. Despite not committing to any syntactic format, the framework is ``concrete'' enough to provide definitions of the fundamental operators on terms (free variables, alpha-equivalence, and capture-avoiding substitution) and reasoning and definition principles. This work is compatible with classical higher-order logic and has been formalized in the proof assistant Isabelle/HOL." @default.
- W2899841824 created "2018-11-16" @default.
- W2899841824 creator A5038682319 @default.
- W2899841824 creator A5046106256 @default.
- W2899841824 creator A5064907118 @default.
- W2899841824 creator A5079200257 @default.
- W2899841824 date "2019-01-02" @default.
- W2899841824 modified "2023-10-17" @default.
- W2899841824 title "Bindings as bounded natural functors" @default.
- W2899841824 cites W1488356979 @default.
- W2899841824 cites W1551936078 @default.
- W2899841824 cites W1578634556 @default.
- W2899841824 cites W1684926818 @default.
- W2899841824 cites W1748618619 @default.
- W2899841824 cites W1968168625 @default.
- W2899841824 cites W1972664070 @default.
- W2899841824 cites W1975082667 @default.
- W2899841824 cites W1975957807 @default.
- W2899841824 cites W1977955863 @default.
- W2899841824 cites W1989866935 @default.
- W2899841824 cites W1992655849 @default.
- W2899841824 cites W1993375565 @default.
- W2899841824 cites W1995955735 @default.
- W2899841824 cites W1996404651 @default.
- W2899841824 cites W2000806582 @default.
- W2899841824 cites W2003701327 @default.
- W2899841824 cites W2025431400 @default.
- W2899841824 cites W2035625755 @default.
- W2899841824 cites W2043815581 @default.
- W2899841824 cites W2048306076 @default.
- W2899841824 cites W2050396985 @default.
- W2899841824 cites W2057294029 @default.
- W2899841824 cites W2062968803 @default.
- W2899841824 cites W2070034419 @default.
- W2899841824 cites W2079640625 @default.
- W2899841824 cites W2091657052 @default.
- W2899841824 cites W2095631859 @default.
- W2899841824 cites W2096529083 @default.
- W2899841824 cites W2108640219 @default.
- W2899841824 cites W2108760508 @default.
- W2899841824 cites W2109735325 @default.
- W2899841824 cites W2113705064 @default.
- W2899841824 cites W2123360309 @default.
- W2899841824 cites W2129680473 @default.
- W2899841824 cites W2130486716 @default.
- W2899841824 cites W2139128755 @default.
- W2899841824 cites W2140849218 @default.
- W2899841824 cites W2142224267 @default.
- W2899841824 cites W2149236820 @default.
- W2899841824 cites W2152317475 @default.
- W2899841824 cites W2162208777 @default.
- W2899841824 cites W2166822586 @default.
- W2899841824 cites W2180471721 @default.
- W2899841824 cites W2238262809 @default.
- W2899841824 cites W2568721247 @default.
- W2899841824 cites W2777856819 @default.
- W2899841824 cites W2780404142 @default.
- W2899841824 cites W2884724299 @default.
- W2899841824 cites W2899841824 @default.
- W2899841824 cites W2963167458 @default.
- W2899841824 cites W4212957569 @default.
- W2899841824 cites W4237428230 @default.
- W2899841824 cites W4240072532 @default.
- W2899841824 cites W4246086292 @default.
- W2899841824 cites W90191816 @default.
- W2899841824 cites W2730334049 @default.
- W2899841824 doi "https://doi.org/10.1145/3290335" @default.
- W2899841824 hasPublicationYear "2019" @default.
- W2899841824 type Work @default.
- W2899841824 sameAs 2899841824 @default.
- W2899841824 citedByCount "8" @default.
- W2899841824 countsByYear W28998418242019 @default.
- W2899841824 countsByYear W28998418242020 @default.
- W2899841824 countsByYear W28998418242021 @default.
- W2899841824 countsByYear W28998418242022 @default.
- W2899841824 countsByYear W28998418242023 @default.
- W2899841824 crossrefType "journal-article" @default.
- W2899841824 hasAuthorship W2899841824A5038682319 @default.
- W2899841824 hasAuthorship W2899841824A5046106256 @default.
- W2899841824 hasAuthorship W2899841824A5064907118 @default.
- W2899841824 hasAuthorship W2899841824A5079200257 @default.
- W2899841824 hasBestOaLocation W28998418241 @default.
- W2899841824 hasConcept C101468663 @default.
- W2899841824 hasConcept C108710211 @default.
- W2899841824 hasConcept C114408938 @default.
- W2899841824 hasConcept C118615104 @default.
- W2899841824 hasConcept C134306372 @default.
- W2899841824 hasConcept C154945302 @default.
- W2899841824 hasConcept C156772000 @default.
- W2899841824 hasConcept C159985019 @default.
- W2899841824 hasConcept C17435882 @default.
- W2899841824 hasConcept C184337299 @default.
- W2899841824 hasConcept C192562407 @default.
- W2899841824 hasConcept C199360897 @default.
- W2899841824 hasConcept C203265346 @default.
- W2899841824 hasConcept C206175624 @default.
- W2899841824 hasConcept C2524010 @default.
- W2899841824 hasConcept C2778220771 @default.