Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105683431> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2105683431 endingPage "1508" @default.
- W2105683431 startingPage "1455" @default.
- W2105683431 abstract "In informal mathematical discourse (such as the text of a paper on theoretical computer science), we often reason about equalities involving binding of object-variables. We find ourselves writing assertions involving meta-variables and captureavoidance constraints on where object-variables can and cannot occur free. Formalizing such assertions is problematic because the standard logical frameworks cannot express capture-avoidance constraints directly. In this article, we make the case for extending the logic of equality with meta-variables and capture-avoidance constraints, to obtain ‘nominal algebra’. We use nominal techniques that allow for a direct formalization of meta-level assertions, while remaining close to informal practice. We investigate proof-theoretical properties, we provide a sound and complete semantics in nominal sets and we compare and contrast our design decisions with other possibilities leading to similar systems." @default.
- W2105683431 created "2016-06-24" @default.
- W2105683431 creator A5022313675 @default.
- W2105683431 creator A5029921802 @default.
- W2105683431 date "2009-07-05" @default.
- W2105683431 modified "2023-10-18" @default.
- W2105683431 title "Nominal (Universal) Algebra: Equational Logic with Names and Binding" @default.
- W2105683431 cites W1965620900 @default.
- W2105683431 cites W1966640938 @default.
- W2105683431 cites W1968168625 @default.
- W2105683431 cites W1977821105 @default.
- W2105683431 cites W1993890055 @default.
- W2105683431 cites W2034319793 @default.
- W2105683431 cites W2037026294 @default.
- W2105683431 cites W2044511080 @default.
- W2105683431 cites W2052793485 @default.
- W2105683431 cites W2062446527 @default.
- W2105683431 cites W2090981365 @default.
- W2105683431 cites W2092116738 @default.
- W2105683431 cites W2094947480 @default.
- W2105683431 cites W2108640219 @default.
- W2105683431 cites W2161033077 @default.
- W2105683431 cites W2168547990 @default.
- W2105683431 cites W2171150592 @default.
- W2105683431 cites W2180471721 @default.
- W2105683431 cites W2911271085 @default.
- W2105683431 cites W2912255765 @default.
- W2105683431 doi "https://doi.org/10.1093/logcom/exp033" @default.
- W2105683431 hasPublicationYear "2009" @default.
- W2105683431 type Work @default.
- W2105683431 sameAs 2105683431 @default.
- W2105683431 citedByCount "64" @default.
- W2105683431 countsByYear W21056834312012 @default.
- W2105683431 countsByYear W21056834312013 @default.
- W2105683431 countsByYear W21056834312014 @default.
- W2105683431 countsByYear W21056834312015 @default.
- W2105683431 countsByYear W21056834312016 @default.
- W2105683431 countsByYear W21056834312017 @default.
- W2105683431 countsByYear W21056834312018 @default.
- W2105683431 countsByYear W21056834312019 @default.
- W2105683431 countsByYear W21056834312020 @default.
- W2105683431 countsByYear W21056834312021 @default.
- W2105683431 countsByYear W21056834312023 @default.
- W2105683431 crossrefType "journal-article" @default.
- W2105683431 hasAuthorship W2105683431A5022313675 @default.
- W2105683431 hasAuthorship W2105683431A5029921802 @default.
- W2105683431 hasConcept C11413529 @default.
- W2105683431 hasConcept C134306372 @default.
- W2105683431 hasConcept C136119220 @default.
- W2105683431 hasConcept C154564781 @default.
- W2105683431 hasConcept C154690210 @default.
- W2105683431 hasConcept C154945302 @default.
- W2105683431 hasConcept C182365436 @default.
- W2105683431 hasConcept C184337299 @default.
- W2105683431 hasConcept C188971069 @default.
- W2105683431 hasConcept C199360897 @default.
- W2105683431 hasConcept C202444582 @default.
- W2105683431 hasConcept C2776502983 @default.
- W2105683431 hasConcept C2781238097 @default.
- W2105683431 hasConcept C33923547 @default.
- W2105683431 hasConcept C41008148 @default.
- W2105683431 hasConcept C80444323 @default.
- W2105683431 hasConceptScore W2105683431C11413529 @default.
- W2105683431 hasConceptScore W2105683431C134306372 @default.
- W2105683431 hasConceptScore W2105683431C136119220 @default.
- W2105683431 hasConceptScore W2105683431C154564781 @default.
- W2105683431 hasConceptScore W2105683431C154690210 @default.
- W2105683431 hasConceptScore W2105683431C154945302 @default.
- W2105683431 hasConceptScore W2105683431C182365436 @default.
- W2105683431 hasConceptScore W2105683431C184337299 @default.
- W2105683431 hasConceptScore W2105683431C188971069 @default.
- W2105683431 hasConceptScore W2105683431C199360897 @default.
- W2105683431 hasConceptScore W2105683431C202444582 @default.
- W2105683431 hasConceptScore W2105683431C2776502983 @default.
- W2105683431 hasConceptScore W2105683431C2781238097 @default.
- W2105683431 hasConceptScore W2105683431C33923547 @default.
- W2105683431 hasConceptScore W2105683431C41008148 @default.
- W2105683431 hasConceptScore W2105683431C80444323 @default.
- W2105683431 hasIssue "6" @default.
- W2105683431 hasLocation W21056834311 @default.
- W2105683431 hasOpenAccess W2105683431 @default.
- W2105683431 hasPrimaryLocation W21056834311 @default.
- W2105683431 hasRelatedWork W1587224678 @default.
- W2105683431 hasRelatedWork W1778728081 @default.
- W2105683431 hasRelatedWork W1780530600 @default.
- W2105683431 hasRelatedWork W1864409016 @default.
- W2105683431 hasRelatedWork W2047793074 @default.
- W2105683431 hasRelatedWork W2090686886 @default.
- W2105683431 hasRelatedWork W2187462042 @default.
- W2105683431 hasRelatedWork W2541796413 @default.
- W2105683431 hasRelatedWork W4240675050 @default.
- W2105683431 hasRelatedWork W2163404808 @default.
- W2105683431 hasVolume "19" @default.
- W2105683431 isParatext "false" @default.
- W2105683431 isRetracted "false" @default.
- W2105683431 magId "2105683431" @default.
- W2105683431 workType "article" @default.