Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238245735> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4238245735 endingPage "366" @default.
- W4238245735 startingPage "357" @default.
- W4238245735 abstract "In this paper, we present an extension of λμ-calculus called λμ++-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel-or." @default.
- W4238245735 created "2022-05-12" @default.
- W4238245735 creator A5018831581 @default.
- W4238245735 date "2002-04-01" @default.
- W4238245735 modified "2023-09-30" @default.
- W4238245735 title "Non Deterministic Classical Logic: The -calculus" @default.
- W4238245735 doi "https://doi.org/10.1002/1521-3870(200204)48:3<357::aid-malq357>3.3.co;2-c" @default.
- W4238245735 hasPublicationYear "2002" @default.
- W4238245735 type Work @default.
- W4238245735 citedByCount "0" @default.
- W4238245735 crossrefType "journal-article" @default.
- W4238245735 hasAuthorship W4238245735A5018831581 @default.
- W4238245735 hasConcept C117312493 @default.
- W4238245735 hasConcept C118615104 @default.
- W4238245735 hasConcept C127413603 @default.
- W4238245735 hasConcept C133731056 @default.
- W4238245735 hasConcept C136119220 @default.
- W4238245735 hasConcept C136886441 @default.
- W4238245735 hasConcept C144024400 @default.
- W4238245735 hasConcept C154945302 @default.
- W4238245735 hasConcept C19165224 @default.
- W4238245735 hasConcept C199343813 @default.
- W4238245735 hasConcept C199360897 @default.
- W4238245735 hasConcept C202444582 @default.
- W4238245735 hasConcept C22497172 @default.
- W4238245735 hasConcept C2777686260 @default.
- W4238245735 hasConcept C2778029271 @default.
- W4238245735 hasConcept C33695381 @default.
- W4238245735 hasConcept C33923547 @default.
- W4238245735 hasConcept C41008148 @default.
- W4238245735 hasConcept C62073222 @default.
- W4238245735 hasConcept C6489637 @default.
- W4238245735 hasConcept C71924100 @default.
- W4238245735 hasConcept C77906462 @default.
- W4238245735 hasConceptScore W4238245735C117312493 @default.
- W4238245735 hasConceptScore W4238245735C118615104 @default.
- W4238245735 hasConceptScore W4238245735C127413603 @default.
- W4238245735 hasConceptScore W4238245735C133731056 @default.
- W4238245735 hasConceptScore W4238245735C136119220 @default.
- W4238245735 hasConceptScore W4238245735C136886441 @default.
- W4238245735 hasConceptScore W4238245735C144024400 @default.
- W4238245735 hasConceptScore W4238245735C154945302 @default.
- W4238245735 hasConceptScore W4238245735C19165224 @default.
- W4238245735 hasConceptScore W4238245735C199343813 @default.
- W4238245735 hasConceptScore W4238245735C199360897 @default.
- W4238245735 hasConceptScore W4238245735C202444582 @default.
- W4238245735 hasConceptScore W4238245735C22497172 @default.
- W4238245735 hasConceptScore W4238245735C2777686260 @default.
- W4238245735 hasConceptScore W4238245735C2778029271 @default.
- W4238245735 hasConceptScore W4238245735C33695381 @default.
- W4238245735 hasConceptScore W4238245735C33923547 @default.
- W4238245735 hasConceptScore W4238245735C41008148 @default.
- W4238245735 hasConceptScore W4238245735C62073222 @default.
- W4238245735 hasConceptScore W4238245735C6489637 @default.
- W4238245735 hasConceptScore W4238245735C71924100 @default.
- W4238245735 hasConceptScore W4238245735C77906462 @default.
- W4238245735 hasIssue "3" @default.
- W4238245735 hasLocation W42382457351 @default.
- W4238245735 hasOpenAccess W4238245735 @default.
- W4238245735 hasPrimaryLocation W42382457351 @default.
- W4238245735 hasRelatedWork W1982675900 @default.
- W4238245735 hasRelatedWork W1987945064 @default.
- W4238245735 hasRelatedWork W2046201222 @default.
- W4238245735 hasRelatedWork W2201760732 @default.
- W4238245735 hasRelatedWork W2469137997 @default.
- W4238245735 hasRelatedWork W2616870177 @default.
- W4238245735 hasRelatedWork W2793983771 @default.
- W4238245735 hasRelatedWork W1839771719 @default.
- W4238245735 hasRelatedWork W2186373746 @default.
- W4238245735 hasRelatedWork W3114025343 @default.
- W4238245735 hasVolume "48" @default.
- W4238245735 isParatext "false" @default.
- W4238245735 isRetracted "false" @default.
- W4238245735 workType "article" @default.