FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2980529190> ?p ?o ?g. }

• W2980529190 abstract "This thesis deals with the specification and construction of syntax and operational semantics of a programming language. We work with a general notion of “signature” for specifying objects of a given category as initial objects in a suitable category of models. This characterization, in the spirit of Initial Semantics, gives a justification of the recursion principle.Languages with variable binding, such as the pure lambda calculus, are monads on the category of sets specified through the classical algebraic signatures. The first extensions to syntaxes with equations that we consider are“quotients” of these algebraic signatures. The yallow, for example, to specify a binary commutative operation. But some equations, such as associativity, seem to remain out of reach. We thus introduce the notion of 2-signature, consisting in two parts: a specification of operations through a usual signature as before, and a set of equations among them. We identify the class of “algebraic 2-signatures” for which the existence of the associated syntax is guaranteed. Finally, we takle the specification of the operational semantics of a programming language such as lambda calculus with β-reduction. To this end, we introduce the notion of reduction monad and their signatures, then we generalize them to get the notion of operational monad." @default.
• W2980529190 created "2019-10-25" @default.
• W2980529190 creator A5018513451 @default.
• W2980529190 date "2019-12-02" @default.
• W2980529190 modified "2023-09-25" @default.
• W2980529190 title "Signatures and models for syntax and operational semantics in the presence of variable binding" @default.
• W2980529190 cites W1488638832 @default.
• W2980529190 cites W1526289988 @default.
• W2980529190 cites W1527090010 @default.
• W2980529190 cites W1556350656 @default.
• W2980529190 cites W1567516333 @default.
• W2980529190 cites W1603169021 @default.
• W2980529190 cites W1966909677 @default.
• W2980529190 cites W1974190112 @default.
• W2980529190 cites W1986531708 @default.
• W2980529190 cites W2006953755 @default.
• W2980529190 cites W2020531742 @default.
• W2980529190 cites W2039203973 @default.
• W2980529190 cites W2066606716 @default.
• W2980529190 cites W2081935872 @default.
• W2980529190 cites W2088376608 @default.
• W2980529190 cites W2097175714 @default.
• W2980529190 cites W2101032471 @default.
• W2980529190 cites W2102036964 @default.
• W2980529190 cites W2108857165 @default.
• W2980529190 cites W2114151019 @default.
• W2980529190 cites W2123887510 @default.
• W2980529190 cites W2130486716 @default.
• W2980529190 cites W2136928151 @default.
• W2980529190 cites W2137850935 @default.
• W2980529190 cites W2153593057 @default.
• W2980529190 cites W2167552476 @default.
• W2980529190 cites W2172218290 @default.
• W2980529190 cites W2295866357 @default.
• W2980529190 cites W2406135972 @default.
• W2980529190 cites W2758075124 @default.
• W2980529190 cites W3101031896 @default.
• W2980529190 cites W3102015773 @default.
• W2980529190 cites W3102303293 @default.
• W2980529190 cites W3141445605 @default.
• W2980529190 hasPublicationYear "2019" @default.
• W2980529190 type Work @default.
• W2980529190 sameAs 2980529190 @default.
• W2980529190 citedByCount "2" @default.
• W2980529190 countsByYear W29805291902018 @default.
• W2980529190 countsByYear W29805291902020 @default.
• W2980529190 crossrefType "journal-article" @default.
• W2980529190 hasAuthorship W2980529190A5018513451 @default.
• W2980529190 hasConcept C114408938 @default.
• W2980529190 hasConcept C118615104 @default.
• W2980529190 hasConcept C134306372 @default.
• W2980529190 hasConcept C136119220 @default.
• W2980529190 hasConcept C154945302 @default.
• W2980529190 hasConcept C156325763 @default.
• W2980529190 hasConcept C156772000 @default.
• W2980529190 hasConcept C168773036 @default.
• W2980529190 hasConcept C183778304 @default.
• W2980529190 hasConcept C184337299 @default.
• W2980529190 hasConcept C199360897 @default.
• W2980529190 hasConcept C201677973 @default.
• W2980529190 hasConcept C202444582 @default.
• W2980529190 hasConcept C2524010 @default.
• W2980529190 hasConcept C2777691520 @default.
• W2980529190 hasConcept C2779696439 @default.
• W2980529190 hasConcept C2779729104 @default.
• W2980529190 hasConcept C33923547 @default.
• W2980529190 hasConcept C33959348 @default.
• W2980529190 hasConcept C41008148 @default.
• W2980529190 hasConcept C60048249 @default.
• W2980529190 hasConcept C80444323 @default.
• W2980529190 hasConcept C9376300 @default.
• W2980529190 hasConceptScore W2980529190C114408938 @default.
• W2980529190 hasConceptScore W2980529190C118615104 @default.
• W2980529190 hasConceptScore W2980529190C134306372 @default.
• W2980529190 hasConceptScore W2980529190C136119220 @default.
• W2980529190 hasConceptScore W2980529190C154945302 @default.
• W2980529190 hasConceptScore W2980529190C156325763 @default.
• W2980529190 hasConceptScore W2980529190C156772000 @default.
• W2980529190 hasConceptScore W2980529190C168773036 @default.
• W2980529190 hasConceptScore W2980529190C183778304 @default.
• W2980529190 hasConceptScore W2980529190C184337299 @default.
• W2980529190 hasConceptScore W2980529190C199360897 @default.
• W2980529190 hasConceptScore W2980529190C201677973 @default.
• W2980529190 hasConceptScore W2980529190C202444582 @default.
• W2980529190 hasConceptScore W2980529190C2524010 @default.
• W2980529190 hasConceptScore W2980529190C2777691520 @default.
• W2980529190 hasConceptScore W2980529190C2779696439 @default.
• W2980529190 hasConceptScore W2980529190C2779729104 @default.
• W2980529190 hasConceptScore W2980529190C33923547 @default.
• W2980529190 hasConceptScore W2980529190C33959348 @default.
• W2980529190 hasConceptScore W2980529190C41008148 @default.
• W2980529190 hasConceptScore W2980529190C60048249 @default.
• W2980529190 hasConceptScore W2980529190C80444323 @default.
• W2980529190 hasConceptScore W2980529190C9376300 @default.
• W2980529190 hasLocation W29805291901 @default.
• W2980529190 hasOpenAccess W2980529190 @default.
• W2980529190 hasPrimaryLocation W29805291901 @default.
• W2980529190 hasRelatedWork W1511621732 @default.
• W2980529190 hasRelatedWork W1542954600 @default.
• W2980529190 hasRelatedWork W1588934256 @default.

• next