Matches in SemOpenAlex for { <https://semopenalex.org/work/W1499149072> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1499149072 abstract "The main result of the paper is a proof of the following equivalence: two pure lambda terms are observationally equivalent in the lazy concurrent lambda calculus if they have the same Levy-Longo trees. It follows that contextual equivalence coincides with behavioural equivalence (bisimulation) as considered by Sangiorgi (1994). Another consequence is that the discriminating power of concurrent lambda contexts is the same as that of Boudol-Laneve's contexts with multiplicities (1996)." @default.
- W1499149072 created "2016-06-24" @default.
- W1499149072 creator A5023573472 @default.
- W1499149072 creator A5053585862 @default.
- W1499149072 creator A5081098905 @default.
- W1499149072 date "2002-11-22" @default.
- W1499149072 modified "2023-09-25" @default.
- W1499149072 title "Discrimination by parallel observers" @default.
- W1499149072 cites W1552902269 @default.
- W1499149072 cites W1970227944 @default.
- W1499149072 cites W1979206410 @default.
- W1499149072 cites W1988856107 @default.
- W1499149072 cites W1990370351 @default.
- W1499149072 cites W1999706742 @default.
- W1499149072 cites W2031709122 @default.
- W1499149072 cites W2070032247 @default.
- W1499149072 cites W2088941870 @default.
- W1499149072 cites W2091240930 @default.
- W1499149072 cites W2102549858 @default.
- W1499149072 cites W2106102830 @default.
- W1499149072 cites W2128932399 @default.
- W1499149072 cites W2154273644 @default.
- W1499149072 cites W2159513875 @default.
- W1499149072 cites W2165407648 @default.
- W1499149072 doi "https://doi.org/10.1109/lics.1997.614965" @default.
- W1499149072 hasPublicationYear "2002" @default.
- W1499149072 type Work @default.
- W1499149072 sameAs 1499149072 @default.
- W1499149072 citedByCount "8" @default.
- W1499149072 crossrefType "proceedings-article" @default.
- W1499149072 hasAuthorship W1499149072A5023573472 @default.
- W1499149072 hasAuthorship W1499149072A5053585862 @default.
- W1499149072 hasAuthorship W1499149072A5081098905 @default.
- W1499149072 hasConcept C118615104 @default.
- W1499149072 hasConcept C120665830 @default.
- W1499149072 hasConcept C121332964 @default.
- W1499149072 hasConcept C135315306 @default.
- W1499149072 hasConcept C135790938 @default.
- W1499149072 hasConcept C136119220 @default.
- W1499149072 hasConcept C202444582 @default.
- W1499149072 hasConcept C2778113609 @default.
- W1499149072 hasConcept C2780069185 @default.
- W1499149072 hasConcept C33923547 @default.
- W1499149072 hasConcept C41008148 @default.
- W1499149072 hasConceptScore W1499149072C118615104 @default.
- W1499149072 hasConceptScore W1499149072C120665830 @default.
- W1499149072 hasConceptScore W1499149072C121332964 @default.
- W1499149072 hasConceptScore W1499149072C135315306 @default.
- W1499149072 hasConceptScore W1499149072C135790938 @default.
- W1499149072 hasConceptScore W1499149072C136119220 @default.
- W1499149072 hasConceptScore W1499149072C202444582 @default.
- W1499149072 hasConceptScore W1499149072C2778113609 @default.
- W1499149072 hasConceptScore W1499149072C2780069185 @default.
- W1499149072 hasConceptScore W1499149072C33923547 @default.
- W1499149072 hasConceptScore W1499149072C41008148 @default.
- W1499149072 hasLocation W14991490721 @default.
- W1499149072 hasOpenAccess W1499149072 @default.
- W1499149072 hasPrimaryLocation W14991490721 @default.
- W1499149072 hasRelatedWork W11030176 @default.
- W1499149072 hasRelatedWork W1487757690 @default.
- W1499149072 hasRelatedWork W1509497033 @default.
- W1499149072 hasRelatedWork W1970227944 @default.
- W1499149072 hasRelatedWork W1973520397 @default.
- W1499149072 hasRelatedWork W1979206410 @default.
- W1499149072 hasRelatedWork W1988432838 @default.
- W1499149072 hasRelatedWork W1990370351 @default.
- W1499149072 hasRelatedWork W2038174684 @default.
- W1499149072 hasRelatedWork W2040202569 @default.
- W1499149072 hasRelatedWork W2070032247 @default.
- W1499149072 hasRelatedWork W2088941870 @default.
- W1499149072 hasRelatedWork W2094079428 @default.
- W1499149072 hasRelatedWork W2154273644 @default.
- W1499149072 hasRelatedWork W2165407648 @default.
- W1499149072 hasRelatedWork W2288075471 @default.
- W1499149072 hasRelatedWork W2527872993 @default.
- W1499149072 hasRelatedWork W2754782259 @default.
- W1499149072 hasRelatedWork W2794370785 @default.
- W1499149072 hasRelatedWork W2952801334 @default.
- W1499149072 isParatext "false" @default.
- W1499149072 isRetracted "false" @default.
- W1499149072 magId "1499149072" @default.
- W1499149072 workType "article" @default.