Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288080212> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4288080212 abstract "We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of simple type theories include the unityped and simply-typed $lambda$-calculi, the computational $lambda$-calculus, and predicate logic. Simple type theories are given models in presheaf categories, with structure specified by algebras of polynomial endofunctors that correspond to natural deduction rules. Initial models, which we construct, abstractly describe the syntax of simple type theories. Taking substitution structure into consideration, we further provide sound and complete semantics in structured cartesian multicategories. This development generalises Lambek's correspondence between the simply-typed $lambda$-calculus and cartesian-closed categories, to arbitrary simple type theories." @default.
- W4288080212 created "2022-07-28" @default.
- W4288080212 creator A5020330700 @default.
- W4288080212 creator A5080675787 @default.
- W4288080212 date "2020-07-08" @default.
- W4288080212 modified "2023-10-01" @default.
- W4288080212 title "Algebraic models of simple type theories" @default.
- W4288080212 cites W1520174560 @default.
- W4288080212 cites W1569939672 @default.
- W4288080212 cites W2056024754 @default.
- W4288080212 cites W2102036964 @default.
- W4288080212 cites W2107674601 @default.
- W4288080212 cites W2112091567 @default.
- W4288080212 cites W2123887510 @default.
- W4288080212 cites W2129064963 @default.
- W4288080212 cites W2136928151 @default.
- W4288080212 cites W2962920088 @default.
- W4288080212 cites W4206667141 @default.
- W4288080212 cites W4242910361 @default.
- W4288080212 cites W4293770342 @default.
- W4288080212 doi "https://doi.org/10.1145/3373718.3394771" @default.
- W4288080212 hasPublicationYear "2020" @default.
- W4288080212 type Work @default.
- W4288080212 citedByCount "4" @default.
- W4288080212 countsByYear W42880802122020 @default.
- W4288080212 countsByYear W42880802122022 @default.
- W4288080212 countsByYear W42880802122023 @default.
- W4288080212 crossrefType "proceedings-article" @default.
- W4288080212 hasAuthorship W4288080212A5020330700 @default.
- W4288080212 hasAuthorship W4288080212A5080675787 @default.
- W4288080212 hasBestOaLocation W42880802121 @default.
- W4288080212 hasConcept C111472728 @default.
- W4288080212 hasConcept C118615104 @default.
- W4288080212 hasConcept C134306372 @default.
- W4288080212 hasConcept C135790938 @default.
- W4288080212 hasConcept C136119220 @default.
- W4288080212 hasConcept C138885662 @default.
- W4288080212 hasConcept C142156749 @default.
- W4288080212 hasConcept C171032842 @default.
- W4288080212 hasConcept C188971069 @default.
- W4288080212 hasConcept C18903297 @default.
- W4288080212 hasConcept C202444582 @default.
- W4288080212 hasConcept C20528804 @default.
- W4288080212 hasConcept C2777299769 @default.
- W4288080212 hasConcept C2779782106 @default.
- W4288080212 hasConcept C2780586882 @default.
- W4288080212 hasConcept C33923547 @default.
- W4288080212 hasConcept C61237538 @default.
- W4288080212 hasConcept C62073222 @default.
- W4288080212 hasConcept C85343465 @default.
- W4288080212 hasConcept C86803240 @default.
- W4288080212 hasConcept C93682546 @default.
- W4288080212 hasConcept C9376300 @default.
- W4288080212 hasConceptScore W4288080212C111472728 @default.
- W4288080212 hasConceptScore W4288080212C118615104 @default.
- W4288080212 hasConceptScore W4288080212C134306372 @default.
- W4288080212 hasConceptScore W4288080212C135790938 @default.
- W4288080212 hasConceptScore W4288080212C136119220 @default.
- W4288080212 hasConceptScore W4288080212C138885662 @default.
- W4288080212 hasConceptScore W4288080212C142156749 @default.
- W4288080212 hasConceptScore W4288080212C171032842 @default.
- W4288080212 hasConceptScore W4288080212C188971069 @default.
- W4288080212 hasConceptScore W4288080212C18903297 @default.
- W4288080212 hasConceptScore W4288080212C202444582 @default.
- W4288080212 hasConceptScore W4288080212C20528804 @default.
- W4288080212 hasConceptScore W4288080212C2777299769 @default.
- W4288080212 hasConceptScore W4288080212C2779782106 @default.
- W4288080212 hasConceptScore W4288080212C2780586882 @default.
- W4288080212 hasConceptScore W4288080212C33923547 @default.
- W4288080212 hasConceptScore W4288080212C61237538 @default.
- W4288080212 hasConceptScore W4288080212C62073222 @default.
- W4288080212 hasConceptScore W4288080212C85343465 @default.
- W4288080212 hasConceptScore W4288080212C86803240 @default.
- W4288080212 hasConceptScore W4288080212C93682546 @default.
- W4288080212 hasConceptScore W4288080212C9376300 @default.
- W4288080212 hasLocation W42880802121 @default.
- W4288080212 hasLocation W42880802122 @default.
- W4288080212 hasOpenAccess W4288080212 @default.
- W4288080212 hasPrimaryLocation W42880802121 @default.
- W4288080212 hasRelatedWork W1556872910 @default.
- W4288080212 hasRelatedWork W1594451895 @default.
- W4288080212 hasRelatedWork W2036565723 @default.
- W4288080212 hasRelatedWork W2146437601 @default.
- W4288080212 hasRelatedWork W2153353244 @default.
- W4288080212 hasRelatedWork W2983769583 @default.
- W4288080212 hasRelatedWork W3030045968 @default.
- W4288080212 hasRelatedWork W3123171335 @default.
- W4288080212 hasRelatedWork W4288080212 @default.
- W4288080212 hasRelatedWork W3021962464 @default.
- W4288080212 isParatext "false" @default.
- W4288080212 isRetracted "false" @default.
- W4288080212 workType "article" @default.