Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966623193> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1966623193 abstract "This paper develops the correspondence between equality reasoning with axioms using λ-terms syntax, and reasoning using nominal terms syntax. Both syntaxes involve name-abstraction: λ-terms represent functional abstraction; nominal terms represent atomsabstraction in nominal sets.It is not evident how to relate the two syntaxes because their intended denotations are so different. We use universal algebra, the logic of equational reasoning, a logical foundation based on an equality judgement form which is spartan but which is sufficiently expressive to encode mathematics in theory and practice.We investigate how syntax, algebraic theories, and derivability relate across λ-theories (algebra over λ-terms) and nominal algebra theories." @default.
- W1966623193 created "2016-06-24" @default.
- W1966623193 creator A5022313675 @default.
- W1966623193 creator A5077355709 @default.
- W1966623193 date "2009-08-02" @default.
- W1966623193 modified "2023-10-14" @default.
- W1966623193 title "Universal algebra over lambda-terms and nominal terms" @default.
- W1966623193 cites W1975082667 @default.
- W1966623193 cites W1993890055 @default.
- W1966623193 cites W2020095493 @default.
- W1966623193 cites W2050702141 @default.
- W1966623193 cites W2052793485 @default.
- W1966623193 cites W2062446527 @default.
- W1966623193 cites W2075352622 @default.
- W1966623193 cites W2090981365 @default.
- W1966623193 cites W2123058261 @default.
- W1966623193 cites W2132119724 @default.
- W1966623193 cites W2138366464 @default.
- W1966623193 cites W2157450565 @default.
- W1966623193 cites W2569620744 @default.
- W1966623193 cites W2911271085 @default.
- W1966623193 cites W2912255765 @default.
- W1966623193 doi "https://doi.org/10.1145/1577824.1577835" @default.
- W1966623193 hasPublicationYear "2009" @default.
- W1966623193 type Work @default.
- W1966623193 sameAs 1966623193 @default.
- W1966623193 citedByCount "6" @default.
- W1966623193 countsByYear W19666231932012 @default.
- W1966623193 countsByYear W19666231932013 @default.
- W1966623193 crossrefType "proceedings-article" @default.
- W1966623193 hasAuthorship W1966623193A5022313675 @default.
- W1966623193 hasAuthorship W1966623193A5077355709 @default.
- W1966623193 hasConcept C120665830 @default.
- W1966623193 hasConcept C121332964 @default.
- W1966623193 hasConcept C136119220 @default.
- W1966623193 hasConcept C188971069 @default.
- W1966623193 hasConcept C202444582 @default.
- W1966623193 hasConcept C2778113609 @default.
- W1966623193 hasConcept C33923547 @default.
- W1966623193 hasConcept C41008148 @default.
- W1966623193 hasConcept C94375191 @default.
- W1966623193 hasConceptScore W1966623193C120665830 @default.
- W1966623193 hasConceptScore W1966623193C121332964 @default.
- W1966623193 hasConceptScore W1966623193C136119220 @default.
- W1966623193 hasConceptScore W1966623193C188971069 @default.
- W1966623193 hasConceptScore W1966623193C202444582 @default.
- W1966623193 hasConceptScore W1966623193C2778113609 @default.
- W1966623193 hasConceptScore W1966623193C33923547 @default.
- W1966623193 hasConceptScore W1966623193C41008148 @default.
- W1966623193 hasConceptScore W1966623193C94375191 @default.
- W1966623193 hasLocation W19666231931 @default.
- W1966623193 hasOpenAccess W1966623193 @default.
- W1966623193 hasPrimaryLocation W19666231931 @default.
- W1966623193 hasRelatedWork W1538649440 @default.
- W1966623193 hasRelatedWork W1966279290 @default.
- W1966623193 hasRelatedWork W1989920940 @default.
- W1966623193 hasRelatedWork W2096753949 @default.
- W1966623193 hasRelatedWork W2602807540 @default.
- W1966623193 hasRelatedWork W2806984643 @default.
- W1966623193 hasRelatedWork W2907041214 @default.
- W1966623193 hasRelatedWork W3047805729 @default.
- W1966623193 hasRelatedWork W3103780039 @default.
- W1966623193 hasRelatedWork W4249580765 @default.
- W1966623193 isParatext "false" @default.
- W1966623193 isRetracted "false" @default.
- W1966623193 magId "1966623193" @default.
- W1966623193 workType "article" @default.