Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488396215> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1488396215 abstract "This paper shows that type-checking and type-inference problems are equivalent in domain-free lambda calculi with existential types, that is, type-checking problem is Turing reducible to type-inference problem and vice versa. In this paper, the equivalence is proved for two variants of domain-free lambda calculi with existential types: one is an implication and existence fragment, and the other is a negation, conjunction and existence fragment. This result gives another proof of undecidability of type inference in the domain-free calculi with existence." @default.
- W1488396215 created "2016-06-24" @default.
- W1488396215 creator A5036383167 @default.
- W1488396215 creator A5085946915 @default.
- W1488396215 date "2010-01-01" @default.
- W1488396215 modified "2023-09-25" @default.
- W1488396215 title "Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types" @default.
- W1488396215 cites W1546371795 @default.
- W1488396215 cites W1559619686 @default.
- W1488396215 cites W1576139432 @default.
- W1488396215 cites W1592799753 @default.
- W1488396215 cites W1793317562 @default.
- W1488396215 cites W1971128176 @default.
- W1488396215 cites W1977212480 @default.
- W1488396215 cites W1993695344 @default.
- W1488396215 cites W1999336811 @default.
- W1488396215 cites W2008920425 @default.
- W1488396215 cites W2081001829 @default.
- W1488396215 cites W2104204098 @default.
- W1488396215 cites W2150421116 @default.
- W1488396215 cites W68732782 @default.
- W1488396215 doi "https://doi.org/10.1007/978-3-642-11999-6_7" @default.
- W1488396215 hasPublicationYear "2010" @default.
- W1488396215 type Work @default.
- W1488396215 sameAs 1488396215 @default.
- W1488396215 citedByCount "0" @default.
- W1488396215 crossrefType "book-chapter" @default.
- W1488396215 hasAuthorship W1488396215A5036383167 @default.
- W1488396215 hasAuthorship W1488396215A5085946915 @default.
- W1488396215 hasConcept C111472728 @default.
- W1488396215 hasConcept C11413529 @default.
- W1488396215 hasConcept C118615104 @default.
- W1488396215 hasConcept C127882523 @default.
- W1488396215 hasConcept C134306372 @default.
- W1488396215 hasConcept C135790938 @default.
- W1488396215 hasConcept C138885662 @default.
- W1488396215 hasConcept C154945302 @default.
- W1488396215 hasConcept C18903297 @default.
- W1488396215 hasConcept C198370458 @default.
- W1488396215 hasConcept C199360897 @default.
- W1488396215 hasConcept C20528804 @default.
- W1488396215 hasConcept C2185349 @default.
- W1488396215 hasConcept C2776214188 @default.
- W1488396215 hasConcept C2776235265 @default.
- W1488396215 hasConcept C2777299769 @default.
- W1488396215 hasConcept C2780069185 @default.
- W1488396215 hasConcept C33923547 @default.
- W1488396215 hasConcept C36503486 @default.
- W1488396215 hasConcept C41008148 @default.
- W1488396215 hasConcept C80444323 @default.
- W1488396215 hasConcept C86803240 @default.
- W1488396215 hasConceptScore W1488396215C111472728 @default.
- W1488396215 hasConceptScore W1488396215C11413529 @default.
- W1488396215 hasConceptScore W1488396215C118615104 @default.
- W1488396215 hasConceptScore W1488396215C127882523 @default.
- W1488396215 hasConceptScore W1488396215C134306372 @default.
- W1488396215 hasConceptScore W1488396215C135790938 @default.
- W1488396215 hasConceptScore W1488396215C138885662 @default.
- W1488396215 hasConceptScore W1488396215C154945302 @default.
- W1488396215 hasConceptScore W1488396215C18903297 @default.
- W1488396215 hasConceptScore W1488396215C198370458 @default.
- W1488396215 hasConceptScore W1488396215C199360897 @default.
- W1488396215 hasConceptScore W1488396215C20528804 @default.
- W1488396215 hasConceptScore W1488396215C2185349 @default.
- W1488396215 hasConceptScore W1488396215C2776214188 @default.
- W1488396215 hasConceptScore W1488396215C2776235265 @default.
- W1488396215 hasConceptScore W1488396215C2777299769 @default.
- W1488396215 hasConceptScore W1488396215C2780069185 @default.
- W1488396215 hasConceptScore W1488396215C33923547 @default.
- W1488396215 hasConceptScore W1488396215C36503486 @default.
- W1488396215 hasConceptScore W1488396215C41008148 @default.
- W1488396215 hasConceptScore W1488396215C80444323 @default.
- W1488396215 hasConceptScore W1488396215C86803240 @default.
- W1488396215 hasLocation W14883962151 @default.
- W1488396215 hasOpenAccess W1488396215 @default.
- W1488396215 hasPrimaryLocation W14883962151 @default.
- W1488396215 hasRelatedWork W1481783499 @default.
- W1488396215 hasRelatedWork W1512882850 @default.
- W1488396215 hasRelatedWork W1593740543 @default.
- W1488396215 hasRelatedWork W1816420085 @default.
- W1488396215 hasRelatedWork W183020182 @default.
- W1488396215 hasRelatedWork W1990620456 @default.
- W1488396215 hasRelatedWork W1993209012 @default.
- W1488396215 hasRelatedWork W207336988 @default.
- W1488396215 hasRelatedWork W2082042052 @default.
- W1488396215 hasRelatedWork W2432649068 @default.
- W1488396215 hasRelatedWork W2499316355 @default.
- W1488396215 hasRelatedWork W2540819425 @default.
- W1488396215 hasRelatedWork W2789982183 @default.
- W1488396215 hasRelatedWork W2951265876 @default.
- W1488396215 hasRelatedWork W2953801668 @default.
- W1488396215 hasRelatedWork W2964318228 @default.
- W1488396215 hasRelatedWork W2966569729 @default.
- W1488396215 hasRelatedWork W3034818545 @default.
- W1488396215 hasRelatedWork W3048660340 @default.
- W1488396215 hasRelatedWork W3116164958 @default.
- W1488396215 isParatext "false" @default.
- W1488396215 isRetracted "false" @default.
- W1488396215 magId "1488396215" @default.
- W1488396215 workType "book-chapter" @default.