Matches in SemOpenAlex for { <https://semopenalex.org/work/W76358617> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W76358617 endingPage "375" @default.
- W76358617 startingPage "334" @default.
- W76358617 abstract "The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. More precisely, we apply membership equational logic, the equational sublogic of rewriting logic, to specify pure type systems as they can be found in the literature and also a new variant of pure type systems with explicit names that solves the problems with closure under α-conversion in a very satisfactory way. Furthermore, we use rewriting logic itself to give a formal operational description of type checking, that directly serves as an efficient type checking algorithm. The work reported here is part of a more ambitious project concerned with the development of the open calculus of constructions, an equational extension of the calculus of constructions that incorporates rewriting logic as a computational sublanguage." @default.
- W76358617 created "2016-06-24" @default.
- W76358617 creator A5007839082 @default.
- W76358617 creator A5075704365 @default.
- W76358617 date "2004-01-01" @default.
- W76358617 modified "2023-10-14" @default.
- W76358617 title "Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework" @default.
- W76358617 cites W1481088546 @default.
- W76358617 cites W1569569047 @default.
- W76358617 cites W1573802872 @default.
- W76358617 cites W1590612822 @default.
- W76358617 cites W1606543423 @default.
- W76358617 cites W167618404 @default.
- W76358617 cites W1678943029 @default.
- W76358617 cites W1976195354 @default.
- W76358617 cites W1986402635 @default.
- W76358617 cites W1991598919 @default.
- W76358617 cites W1996404651 @default.
- W76358617 cites W2023922858 @default.
- W76358617 cites W2071267598 @default.
- W76358617 cites W2076604486 @default.
- W76358617 cites W2120300141 @default.
- W76358617 cites W2140633493 @default.
- W76358617 cites W2150222193 @default.
- W76358617 cites W2151872924 @default.
- W76358617 cites W2398461955 @default.
- W76358617 cites W2499474130 @default.
- W76358617 cites W2568721247 @default.
- W76358617 cites W4229783124 @default.
- W76358617 cites W4234528212 @default.
- W76358617 doi "https://doi.org/10.1007/978-3-540-39993-3_16" @default.
- W76358617 hasPublicationYear "2004" @default.
- W76358617 type Work @default.
- W76358617 sameAs 76358617 @default.
- W76358617 citedByCount "12" @default.
- W76358617 countsByYear W763586172018 @default.
- W76358617 countsByYear W763586172022 @default.
- W76358617 crossrefType "book-chapter" @default.
- W76358617 hasAuthorship W76358617A5007839082 @default.
- W76358617 hasAuthorship W76358617A5075704365 @default.
- W76358617 hasConcept C102993220 @default.
- W76358617 hasConcept C146834321 @default.
- W76358617 hasConcept C154564781 @default.
- W76358617 hasConcept C154690210 @default.
- W76358617 hasConcept C162324750 @default.
- W76358617 hasConcept C169896238 @default.
- W76358617 hasConcept C18903297 @default.
- W76358617 hasConcept C199360897 @default.
- W76358617 hasConcept C20693621 @default.
- W76358617 hasConcept C2776411971 @default.
- W76358617 hasConcept C2777299769 @default.
- W76358617 hasConcept C34447519 @default.
- W76358617 hasConcept C41008148 @default.
- W76358617 hasConcept C77906462 @default.
- W76358617 hasConcept C80444323 @default.
- W76358617 hasConcept C86803240 @default.
- W76358617 hasConcept C93682546 @default.
- W76358617 hasConceptScore W76358617C102993220 @default.
- W76358617 hasConceptScore W76358617C146834321 @default.
- W76358617 hasConceptScore W76358617C154564781 @default.
- W76358617 hasConceptScore W76358617C154690210 @default.
- W76358617 hasConceptScore W76358617C162324750 @default.
- W76358617 hasConceptScore W76358617C169896238 @default.
- W76358617 hasConceptScore W76358617C18903297 @default.
- W76358617 hasConceptScore W76358617C199360897 @default.
- W76358617 hasConceptScore W76358617C20693621 @default.
- W76358617 hasConceptScore W76358617C2776411971 @default.
- W76358617 hasConceptScore W76358617C2777299769 @default.
- W76358617 hasConceptScore W76358617C34447519 @default.
- W76358617 hasConceptScore W76358617C41008148 @default.
- W76358617 hasConceptScore W76358617C77906462 @default.
- W76358617 hasConceptScore W76358617C80444323 @default.
- W76358617 hasConceptScore W76358617C86803240 @default.
- W76358617 hasConceptScore W76358617C93682546 @default.
- W76358617 hasLocation W763586171 @default.
- W76358617 hasOpenAccess W76358617 @default.
- W76358617 hasPrimaryLocation W763586171 @default.
- W76358617 hasRelatedWork W1481928389 @default.
- W76358617 hasRelatedWork W1520451507 @default.
- W76358617 hasRelatedWork W1535956864 @default.
- W76358617 hasRelatedWork W1557825129 @default.
- W76358617 hasRelatedWork W1576770735 @default.
- W76358617 hasRelatedWork W1980968022 @default.
- W76358617 hasRelatedWork W2139760036 @default.
- W76358617 hasRelatedWork W76358617 @default.
- W76358617 hasRelatedWork W2499919128 @default.
- W76358617 hasRelatedWork W2585339290 @default.
- W76358617 isParatext "false" @default.
- W76358617 isRetracted "false" @default.
- W76358617 magId "76358617" @default.
- W76358617 workType "book-chapter" @default.