Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952322140> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2952322140 abstract "In this paper, we introduce a semantics of realisability for the classical propositional natural deduction and we prove a correctness theorem. This allows to characterize the operational behaviour of some typed terms." @default.
- W2952322140 created "2019-06-27" @default.
- W2952322140 creator A5018831581 @default.
- W2952322140 creator A5042639896 @default.
- W2952322140 date "2004-06-01" @default.
- W2952322140 modified "2023-09-24" @default.
- W2952322140 title "A semantics of realisability for the classical propositional natural deduction" @default.
- W2952322140 cites W1584250132 @default.
- W2952322140 cites W2002747303 @default.
- W2952322140 cites W2008920425 @default.
- W2952322140 cites W2070866487 @default.
- W2952322140 cites W2077107862 @default.
- W2952322140 cites W2132936218 @default.
- W2952322140 hasPublicationYear "2004" @default.
- W2952322140 type Work @default.
- W2952322140 sameAs 2952322140 @default.
- W2952322140 citedByCount "0" @default.
- W2952322140 crossrefType "proceedings-article" @default.
- W2952322140 hasAuthorship W2952322140A5018831581 @default.
- W2952322140 hasAuthorship W2952322140A5042639896 @default.
- W2952322140 hasBestOaLocation W29523221401 @default.
- W2952322140 hasConcept C102993220 @default.
- W2952322140 hasConcept C11413529 @default.
- W2952322140 hasConcept C14523651 @default.
- W2952322140 hasConcept C184337299 @default.
- W2952322140 hasConcept C199343813 @default.
- W2952322140 hasConcept C199360897 @default.
- W2952322140 hasConcept C2777686260 @default.
- W2952322140 hasConcept C33203268 @default.
- W2952322140 hasConcept C41008148 @default.
- W2952322140 hasConcept C62073222 @default.
- W2952322140 hasConcept C69562738 @default.
- W2952322140 hasConcept C71924100 @default.
- W2952322140 hasConceptScore W2952322140C102993220 @default.
- W2952322140 hasConceptScore W2952322140C11413529 @default.
- W2952322140 hasConceptScore W2952322140C14523651 @default.
- W2952322140 hasConceptScore W2952322140C184337299 @default.
- W2952322140 hasConceptScore W2952322140C199343813 @default.
- W2952322140 hasConceptScore W2952322140C199360897 @default.
- W2952322140 hasConceptScore W2952322140C2777686260 @default.
- W2952322140 hasConceptScore W2952322140C33203268 @default.
- W2952322140 hasConceptScore W2952322140C41008148 @default.
- W2952322140 hasConceptScore W2952322140C62073222 @default.
- W2952322140 hasConceptScore W2952322140C69562738 @default.
- W2952322140 hasConceptScore W2952322140C71924100 @default.
- W2952322140 hasLocation W29523221401 @default.
- W2952322140 hasLocation W29523221402 @default.
- W2952322140 hasOpenAccess W2952322140 @default.
- W2952322140 hasPrimaryLocation W29523221401 @default.
- W2952322140 hasRelatedWork W1028972023 @default.
- W2952322140 hasRelatedWork W1714225901 @default.
- W2952322140 hasRelatedWork W1992202379 @default.
- W2952322140 hasRelatedWork W2045432969 @default.
- W2952322140 hasRelatedWork W2110662120 @default.
- W2952322140 hasRelatedWork W2482540236 @default.
- W2952322140 hasRelatedWork W2617588251 @default.
- W2952322140 hasRelatedWork W3047936693 @default.
- W2952322140 hasRelatedWork W770516323 @default.
- W2952322140 hasRelatedWork W98855598 @default.
- W2952322140 isParatext "false" @default.
- W2952322140 isRetracted "false" @default.
- W2952322140 magId "2952322140" @default.
- W2952322140 workType "article" @default.