Matches in SemOpenAlex for { <https://semopenalex.org/work/W1530395783> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1530395783 abstract "Under the extension of Curry-Howard's correspondence to classical logic, Gentzen's NK and LK systems can be seen as syntax-directed systems of simple types respectively for Parigot's Lambda Mu Calculus and Curien-Herbelin's Lambda Bar Mu Mu Tidle Calculus. We aim at showing their computational equivalence. We define translations between these calculi. We prove simulation theorems for an undirected evaluation as well as for call-by-name and call-by-value evaluations." @default.
- W1530395783 created "2016-06-24" @default.
- W1530395783 creator A5041905519 @default.
- W1530395783 date "2005-04-19" @default.
- W1530395783 modified "2023-10-17" @default.
- W1530395783 title "Lambda Mu Calculus and Duality: Call-by-Name and Call-by-Value" @default.
- W1530395783 hasPublicationYear "2005" @default.
- W1530395783 type Work @default.
- W1530395783 sameAs 1530395783 @default.
- W1530395783 citedByCount "0" @default.
- W1530395783 crossrefType "proceedings-article" @default.
- W1530395783 hasAuthorship W1530395783A5041905519 @default.
- W1530395783 hasBestOaLocation W15303957831 @default.
- W1530395783 hasConcept C118615104 @default.
- W1530395783 hasConcept C119857082 @default.
- W1530395783 hasConcept C121332964 @default.
- W1530395783 hasConcept C135790938 @default.
- W1530395783 hasConcept C199343813 @default.
- W1530395783 hasConcept C2776291640 @default.
- W1530395783 hasConcept C2777686260 @default.
- W1530395783 hasConcept C2778023678 @default.
- W1530395783 hasConcept C2778113609 @default.
- W1530395783 hasConcept C33923547 @default.
- W1530395783 hasConcept C41008148 @default.
- W1530395783 hasConcept C62520636 @default.
- W1530395783 hasConcept C71924100 @default.
- W1530395783 hasConceptScore W1530395783C118615104 @default.
- W1530395783 hasConceptScore W1530395783C119857082 @default.
- W1530395783 hasConceptScore W1530395783C121332964 @default.
- W1530395783 hasConceptScore W1530395783C135790938 @default.
- W1530395783 hasConceptScore W1530395783C199343813 @default.
- W1530395783 hasConceptScore W1530395783C2776291640 @default.
- W1530395783 hasConceptScore W1530395783C2777686260 @default.
- W1530395783 hasConceptScore W1530395783C2778023678 @default.
- W1530395783 hasConceptScore W1530395783C2778113609 @default.
- W1530395783 hasConceptScore W1530395783C33923547 @default.
- W1530395783 hasConceptScore W1530395783C41008148 @default.
- W1530395783 hasConceptScore W1530395783C62520636 @default.
- W1530395783 hasConceptScore W1530395783C71924100 @default.
- W1530395783 hasLocation W15303957831 @default.
- W1530395783 hasLocation W15303957832 @default.
- W1530395783 hasLocation W15303957833 @default.
- W1530395783 hasOpenAccess W1530395783 @default.
- W1530395783 hasPrimaryLocation W15303957831 @default.
- W1530395783 hasRelatedWork W1585063374 @default.
- W1530395783 hasRelatedWork W1608923249 @default.
- W1530395783 hasRelatedWork W1633106243 @default.
- W1530395783 hasRelatedWork W2058590458 @default.
- W1530395783 hasRelatedWork W2101274322 @default.
- W1530395783 hasRelatedWork W4230977852 @default.
- W1530395783 hasRelatedWork W7129352 @default.
- W1530395783 hasRelatedWork W811489916 @default.
- W1530395783 hasRelatedWork W813931767 @default.
- W1530395783 hasRelatedWork W2785405191 @default.
- W1530395783 isParatext "false" @default.
- W1530395783 isRetracted "false" @default.
- W1530395783 magId "1530395783" @default.
- W1530395783 workType "article" @default.