Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951245838> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2951245838 abstract "Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work completes the foundations of the subject from the viewpoint of categorical algebra. Specifically, the paper introduces the notion of second-order algebraic theory and develops its basic theory. Two categorical equivalences are established: at the syntactic level, that of second-order equational presentations and second-order algebraic theories; at the semantic level, that of second-order algebras and second-order functorial models. Our development includes a mathematical definition of syntactic translation between second-order equational presentations. This gives the first formalisation of notions such as encodings and transforms in the context of languages with variable binding." @default.
- W2951245838 created "2019-06-27" @default.
- W2951245838 creator A5015857119 @default.
- W2951245838 creator A5080675787 @default.
- W2951245838 date "2013-08-25" @default.
- W2951245838 modified "2023-09-27" @default.
- W2951245838 title "Second-Order Algebraic Theories" @default.
- W2951245838 cites W130884383 @default.
- W2951245838 cites W160811697 @default.
- W2951245838 cites W1965620900 @default.
- W2951245838 cites W1968386045 @default.
- W2951245838 cites W1996404651 @default.
- W2951245838 cites W2044511080 @default.
- W2951245838 cites W2049352524 @default.
- W2951245838 cites W2123887510 @default.
- W2951245838 cites W2136928151 @default.
- W2951245838 cites W2159709550 @default.
- W2951245838 cites W2323777246 @default.
- W2951245838 cites W3181441684 @default.
- W2951245838 cites W1491009468 @default.
- W2951245838 hasPublicationYear "2013" @default.
- W2951245838 type Work @default.
- W2951245838 sameAs 2951245838 @default.
- W2951245838 citedByCount "0" @default.
- W2951245838 crossrefType "posted-content" @default.
- W2951245838 hasAuthorship W2951245838A5015857119 @default.
- W2951245838 hasAuthorship W2951245838A5080675787 @default.
- W2951245838 hasConcept C10138342 @default.
- W2951245838 hasConcept C105795698 @default.
- W2951245838 hasConcept C118615104 @default.
- W2951245838 hasConcept C134306372 @default.
- W2951245838 hasConcept C136119220 @default.
- W2951245838 hasConcept C154564781 @default.
- W2951245838 hasConcept C154690210 @default.
- W2951245838 hasConcept C162324750 @default.
- W2951245838 hasConcept C182306322 @default.
- W2951245838 hasConcept C188971069 @default.
- W2951245838 hasConcept C199360897 @default.
- W2951245838 hasConcept C202444582 @default.
- W2951245838 hasConcept C2778029271 @default.
- W2951245838 hasConcept C2779782106 @default.
- W2951245838 hasConcept C2780432614 @default.
- W2951245838 hasConcept C33923547 @default.
- W2951245838 hasConcept C41008148 @default.
- W2951245838 hasConcept C5274069 @default.
- W2951245838 hasConcept C9376300 @default.
- W2951245838 hasConceptScore W2951245838C10138342 @default.
- W2951245838 hasConceptScore W2951245838C105795698 @default.
- W2951245838 hasConceptScore W2951245838C118615104 @default.
- W2951245838 hasConceptScore W2951245838C134306372 @default.
- W2951245838 hasConceptScore W2951245838C136119220 @default.
- W2951245838 hasConceptScore W2951245838C154564781 @default.
- W2951245838 hasConceptScore W2951245838C154690210 @default.
- W2951245838 hasConceptScore W2951245838C162324750 @default.
- W2951245838 hasConceptScore W2951245838C182306322 @default.
- W2951245838 hasConceptScore W2951245838C188971069 @default.
- W2951245838 hasConceptScore W2951245838C199360897 @default.
- W2951245838 hasConceptScore W2951245838C202444582 @default.
- W2951245838 hasConceptScore W2951245838C2778029271 @default.
- W2951245838 hasConceptScore W2951245838C2779782106 @default.
- W2951245838 hasConceptScore W2951245838C2780432614 @default.
- W2951245838 hasConceptScore W2951245838C33923547 @default.
- W2951245838 hasConceptScore W2951245838C41008148 @default.
- W2951245838 hasConceptScore W2951245838C5274069 @default.
- W2951245838 hasConceptScore W2951245838C9376300 @default.
- W2951245838 hasLocation W29512458381 @default.
- W2951245838 hasOpenAccess W2951245838 @default.
- W2951245838 hasPrimaryLocation W29512458381 @default.
- W2951245838 hasRelatedWork W100816062 @default.
- W2951245838 hasRelatedWork W1488638832 @default.
- W2951245838 hasRelatedWork W1520800463 @default.
- W2951245838 hasRelatedWork W1543233405 @default.
- W2951245838 hasRelatedWork W1554475578 @default.
- W2951245838 hasRelatedWork W1573666807 @default.
- W2951245838 hasRelatedWork W1575371065 @default.
- W2951245838 hasRelatedWork W1859991118 @default.
- W2951245838 hasRelatedWork W1980692207 @default.
- W2951245838 hasRelatedWork W199863285 @default.
- W2951245838 hasRelatedWork W1999780552 @default.
- W2951245838 hasRelatedWork W2057629125 @default.
- W2951245838 hasRelatedWork W2117417945 @default.
- W2951245838 hasRelatedWork W2136510622 @default.
- W2951245838 hasRelatedWork W2180920399 @default.
- W2951245838 hasRelatedWork W2216115577 @default.
- W2951245838 hasRelatedWork W2406135972 @default.
- W2951245838 hasRelatedWork W2809060253 @default.
- W2951245838 hasRelatedWork W3030045968 @default.
- W2951245838 hasRelatedWork W620840771 @default.
- W2951245838 isParatext "false" @default.
- W2951245838 isRetracted "false" @default.
- W2951245838 magId "2951245838" @default.
- W2951245838 workType "article" @default.