Matches in SemOpenAlex for { <https://semopenalex.org/work/W2222166208> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2222166208 abstract "We present a shallow embedding of the Object Calculus of Abadi and Cardelli in the λΠ-calculus modulo, an extension of the λΠ-calculus in which conversion is considered modulo a rewrite system. This embedding may be used as an example of translation of subtyping, a feature also present in some proof assistants like Coq and PVS. This embedding is proved correct with respect to the operational semantics and the type system of the Object Calculus. It has been implemented as a translation tool from the Object Calculus to Dedukti, a type-checker for the λΠ-calculus modulo." @default.
- W2222166208 created "2016-06-24" @default.
- W2222166208 creator A5024896359 @default.
- W2222166208 creator A5061217918 @default.
- W2222166208 date "2015-06-13" @default.
- W2222166208 modified "2023-10-16" @default.
- W2222166208 title "Objects and subtyping in the λΠ-calculus modulo" @default.
- W2222166208 cites W13672157 @default.
- W2222166208 cites W1493752083 @default.
- W2222166208 cites W1510641142 @default.
- W2222166208 cites W1511331366 @default.
- W2222166208 cites W1595713524 @default.
- W2222166208 cites W1601124623 @default.
- W2222166208 cites W1727609483 @default.
- W2222166208 cites W1974190112 @default.
- W2222166208 cites W1978742229 @default.
- W2222166208 cites W2009464583 @default.
- W2222166208 cites W2033348393 @default.
- W2222166208 cites W2063805449 @default.
- W2222166208 cites W2065324910 @default.
- W2222166208 cites W2102861499 @default.
- W2222166208 cites W2149545675 @default.
- W2222166208 cites W2170800927 @default.
- W2222166208 cites W2221802120 @default.
- W2222166208 cites W2401398888 @default.
- W2222166208 cites W625074203 @default.
- W2222166208 hasPublicationYear "2015" @default.
- W2222166208 type Work @default.
- W2222166208 sameAs 2222166208 @default.
- W2222166208 citedByCount "1" @default.
- W2222166208 countsByYear W22221662082015 @default.
- W2222166208 crossrefType "posted-content" @default.
- W2222166208 hasAuthorship W2222166208A5024896359 @default.
- W2222166208 hasAuthorship W2222166208A5061217918 @default.
- W2222166208 hasBestOaLocation W22221662081 @default.
- W2222166208 hasConcept C118615104 @default.
- W2222166208 hasConcept C199343813 @default.
- W2222166208 hasConcept C199360897 @default.
- W2222166208 hasConcept C2777686260 @default.
- W2222166208 hasConcept C33923547 @default.
- W2222166208 hasConcept C41008148 @default.
- W2222166208 hasConcept C54732982 @default.
- W2222166208 hasConcept C71924100 @default.
- W2222166208 hasConcept C83852419 @default.
- W2222166208 hasConceptScore W2222166208C118615104 @default.
- W2222166208 hasConceptScore W2222166208C199343813 @default.
- W2222166208 hasConceptScore W2222166208C199360897 @default.
- W2222166208 hasConceptScore W2222166208C2777686260 @default.
- W2222166208 hasConceptScore W2222166208C33923547 @default.
- W2222166208 hasConceptScore W2222166208C41008148 @default.
- W2222166208 hasConceptScore W2222166208C54732982 @default.
- W2222166208 hasConceptScore W2222166208C71924100 @default.
- W2222166208 hasConceptScore W2222166208C83852419 @default.
- W2222166208 hasLocation W22221662081 @default.
- W2222166208 hasOpenAccess W2222166208 @default.
- W2222166208 hasPrimaryLocation W22221662081 @default.
- W2222166208 hasRelatedWork W1966938553 @default.
- W2222166208 hasRelatedWork W2028207499 @default.
- W2222166208 hasRelatedWork W2056472685 @default.
- W2222166208 hasRelatedWork W2137333181 @default.
- W2222166208 hasRelatedWork W2139713416 @default.
- W2222166208 hasRelatedWork W2222166208 @default.
- W2222166208 hasRelatedWork W2318342593 @default.
- W2222166208 hasRelatedWork W2323374929 @default.
- W2222166208 hasRelatedWork W2954497896 @default.
- W2222166208 hasRelatedWork W2963652363 @default.
- W2222166208 isParatext "false" @default.
- W2222166208 isRetracted "false" @default.
- W2222166208 magId "2222166208" @default.
- W2222166208 workType "article" @default.