FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W23571369> ?p ?o ?g. }

• W23571369 endingPage "72" @default.
• W23571369 startingPage "63" @default.
• W23571369 abstract "This paper proves undecidability of type checking and type inference problems in some variants of typed lambda calculi with polymorphic and existential types. First, type inference in the domain-free polymorphic lambda calculus is proved to be undecidable, and then it is proved that type inference is undecidable in the negation, conjunction, and existence fragment of the domain-free typed lambda calculus. Secondly, their variants with multiple quantifier rules are introduced, and their type checking and type inference are proved to be undecidable. Finally, it is proved that we can reduce undecidability of type checking and type inference problems in the Curry-style lambda calculus in negation, conjunction, and existential fragment to undecidability of those problems in another variant of the domain-free polymorphic lambda calculus." @default.
• W23571369 created "2016-06-24" @default.
• W23571369 creator A5024163301 @default.
• W23571369 creator A5036383167 @default.
• W23571369 date "2009-01-01" @default.
• W23571369 modified "2023-09-27" @default.
• W23571369 title "Type checking and inference for polymorphic and existential types" @default.
• W23571369 cites W1546371795 @default.
• W23571369 cites W1559619686 @default.
• W23571369 cites W1592799753 @default.
• W23571369 cites W1595372275 @default.
• W23571369 cites W1793317562 @default.
• W23571369 cites W1971128176 @default.
• W23571369 cites W1993209012 @default.
• W23571369 cites W1993695344 @default.
• W23571369 cites W2081001829 @default.
• W23571369 cites W2104204098 @default.
• W23571369 hasPublicationYear "2009" @default.
• W23571369 type Work @default.
• W23571369 sameAs 23571369 @default.
• W23571369 citedByCount "1" @default.
• W23571369 crossrefType "proceedings-article" @default.
• W23571369 hasAuthorship W23571369A5024163301 @default.
• W23571369 hasAuthorship W23571369A5036383167 @default.
• W23571369 hasConcept C11413529 @default.
• W23571369 hasConcept C118615104 @default.
• W23571369 hasConcept C134306372 @default.
• W23571369 hasConcept C135790938 @default.
• W23571369 hasConcept C142156749 @default.
• W23571369 hasConcept C153269930 @default.
• W23571369 hasConcept C154945302 @default.
• W23571369 hasConcept C18903297 @default.
• W23571369 hasConcept C192034797 @default.
• W23571369 hasConcept C198370458 @default.
• W23571369 hasConcept C199343813 @default.
• W23571369 hasConcept C199360897 @default.
• W23571369 hasConcept C20528804 @default.
• W23571369 hasConcept C2185349 @default.
• W23571369 hasConcept C2776214188 @default.
• W23571369 hasConcept C2776235265 @default.
• W23571369 hasConcept C2777299769 @default.
• W23571369 hasConcept C2777686260 @default.
• W23571369 hasConcept C33923547 @default.
• W23571369 hasConcept C36503486 @default.
• W23571369 hasConcept C41008148 @default.
• W23571369 hasConcept C55128367 @default.
• W23571369 hasConcept C61237538 @default.
• W23571369 hasConcept C62073222 @default.
• W23571369 hasConcept C71924100 @default.
• W23571369 hasConcept C86803240 @default.
• W23571369 hasConceptScore W23571369C11413529 @default.
• W23571369 hasConceptScore W23571369C118615104 @default.
• W23571369 hasConceptScore W23571369C134306372 @default.
• W23571369 hasConceptScore W23571369C135790938 @default.
• W23571369 hasConceptScore W23571369C142156749 @default.
• W23571369 hasConceptScore W23571369C153269930 @default.
• W23571369 hasConceptScore W23571369C154945302 @default.
• W23571369 hasConceptScore W23571369C18903297 @default.
• W23571369 hasConceptScore W23571369C192034797 @default.
• W23571369 hasConceptScore W23571369C198370458 @default.
• W23571369 hasConceptScore W23571369C199343813 @default.
• W23571369 hasConceptScore W23571369C199360897 @default.
• W23571369 hasConceptScore W23571369C20528804 @default.
• W23571369 hasConceptScore W23571369C2185349 @default.
• W23571369 hasConceptScore W23571369C2776214188 @default.
• W23571369 hasConceptScore W23571369C2776235265 @default.
• W23571369 hasConceptScore W23571369C2777299769 @default.
• W23571369 hasConceptScore W23571369C2777686260 @default.
• W23571369 hasConceptScore W23571369C33923547 @default.
• W23571369 hasConceptScore W23571369C36503486 @default.
• W23571369 hasConceptScore W23571369C41008148 @default.
• W23571369 hasConceptScore W23571369C55128367 @default.
• W23571369 hasConceptScore W23571369C61237538 @default.
• W23571369 hasConceptScore W23571369C62073222 @default.
• W23571369 hasConceptScore W23571369C71924100 @default.
• W23571369 hasConceptScore W23571369C86803240 @default.
• W23571369 hasLocation W235713691 @default.
• W23571369 hasOpenAccess W23571369 @default.
• W23571369 hasPrimaryLocation W235713691 @default.
• W23571369 hasRelatedWork W1512628190 @default.
• W23571369 hasRelatedWork W1523713898 @default.
• W23571369 hasRelatedWork W1546371795 @default.
• W23571369 hasRelatedWork W1576690287 @default.
• W23571369 hasRelatedWork W1592799753 @default.
• W23571369 hasRelatedWork W1874450173 @default.
• W23571369 hasRelatedWork W1964952791 @default.
• W23571369 hasRelatedWork W1969093922 @default.
• W23571369 hasRelatedWork W1984807151 @default.
• W23571369 hasRelatedWork W2016699565 @default.
• W23571369 hasRelatedWork W2041659737 @default.
• W23571369 hasRelatedWork W2045522022 @default.
• W23571369 hasRelatedWork W2049542372 @default.
• W23571369 hasRelatedWork W2080040385 @default.
• W23571369 hasRelatedWork W2102166805 @default.
• W23571369 hasRelatedWork W2108836085 @default.
• W23571369 hasRelatedWork W2130881558 @default.
• W23571369 hasRelatedWork W2151156765 @default.
• W23571369 hasRelatedWork W2170347514 @default.

• next