Matches in SemOpenAlex for { <https://semopenalex.org/work/W4879936> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4879936 abstract "We show that it is decidable whether a third-order matching problem in the polymorphiclambda calculus has a solution. The proof is constructive in the sense that an algorithmcan be extracted from it that, given such a problem, returns a substitution if it has asolution and fail otherwise." @default.
- W4879936 created "2016-06-24" @default.
- W4879936 creator A5067021349 @default.
- W4879936 date "1994-09-01" @default.
- W4879936 modified "2023-09-26" @default.
- W4879936 title "Third-Order Matching in the Polymorphic Lambda Calculus" @default.
- W4879936 hasPublicationYear "1994" @default.
- W4879936 type Work @default.
- W4879936 sameAs 4879936 @default.
- W4879936 citedByCount "0" @default.
- W4879936 crossrefType "journal-article" @default.
- W4879936 hasAuthorship W4879936A5067021349 @default.
- W4879936 hasConcept C10138342 @default.
- W4879936 hasConcept C105795698 @default.
- W4879936 hasConcept C114614502 @default.
- W4879936 hasConcept C118615104 @default.
- W4879936 hasConcept C120665830 @default.
- W4879936 hasConcept C121332964 @default.
- W4879936 hasConcept C135790938 @default.
- W4879936 hasConcept C142156749 @default.
- W4879936 hasConcept C153269930 @default.
- W4879936 hasConcept C162324750 @default.
- W4879936 hasConcept C165064840 @default.
- W4879936 hasConcept C182306322 @default.
- W4879936 hasConcept C199343813 @default.
- W4879936 hasConcept C199360897 @default.
- W4879936 hasConcept C2777686260 @default.
- W4879936 hasConcept C2778113609 @default.
- W4879936 hasConcept C2778701210 @default.
- W4879936 hasConcept C33923547 @default.
- W4879936 hasConcept C41008148 @default.
- W4879936 hasConcept C55128367 @default.
- W4879936 hasConcept C61237538 @default.
- W4879936 hasConcept C71924100 @default.
- W4879936 hasConcept C77736955 @default.
- W4879936 hasConcept C98045186 @default.
- W4879936 hasConceptScore W4879936C10138342 @default.
- W4879936 hasConceptScore W4879936C105795698 @default.
- W4879936 hasConceptScore W4879936C114614502 @default.
- W4879936 hasConceptScore W4879936C118615104 @default.
- W4879936 hasConceptScore W4879936C120665830 @default.
- W4879936 hasConceptScore W4879936C121332964 @default.
- W4879936 hasConceptScore W4879936C135790938 @default.
- W4879936 hasConceptScore W4879936C142156749 @default.
- W4879936 hasConceptScore W4879936C153269930 @default.
- W4879936 hasConceptScore W4879936C162324750 @default.
- W4879936 hasConceptScore W4879936C165064840 @default.
- W4879936 hasConceptScore W4879936C182306322 @default.
- W4879936 hasConceptScore W4879936C199343813 @default.
- W4879936 hasConceptScore W4879936C199360897 @default.
- W4879936 hasConceptScore W4879936C2777686260 @default.
- W4879936 hasConceptScore W4879936C2778113609 @default.
- W4879936 hasConceptScore W4879936C2778701210 @default.
- W4879936 hasConceptScore W4879936C33923547 @default.
- W4879936 hasConceptScore W4879936C41008148 @default.
- W4879936 hasConceptScore W4879936C55128367 @default.
- W4879936 hasConceptScore W4879936C61237538 @default.
- W4879936 hasConceptScore W4879936C71924100 @default.
- W4879936 hasConceptScore W4879936C77736955 @default.
- W4879936 hasConceptScore W4879936C98045186 @default.
- W4879936 hasLocation W48799361 @default.
- W4879936 hasOpenAccess W4879936 @default.
- W4879936 hasPrimaryLocation W48799361 @default.
- W4879936 hasRelatedWork W113905406 @default.
- W4879936 hasRelatedWork W1523753320 @default.
- W4879936 hasRelatedWork W1631142578 @default.
- W4879936 hasRelatedWork W1835316325 @default.
- W4879936 hasRelatedWork W1969446275 @default.
- W4879936 hasRelatedWork W2010239186 @default.
- W4879936 hasRelatedWork W2011665527 @default.
- W4879936 hasRelatedWork W2038779261 @default.
- W4879936 hasRelatedWork W2104881994 @default.
- W4879936 hasRelatedWork W2170810629 @default.
- W4879936 hasRelatedWork W2232523289 @default.
- W4879936 hasRelatedWork W2264978891 @default.
- W4879936 hasRelatedWork W2552165488 @default.
- W4879936 hasRelatedWork W2562274490 @default.
- W4879936 hasRelatedWork W26903146 @default.
- W4879936 hasRelatedWork W2807402154 @default.
- W4879936 hasRelatedWork W2964168620 @default.
- W4879936 hasRelatedWork W3088054255 @default.
- W4879936 hasRelatedWork W1538141914 @default.
- W4879936 hasRelatedWork W167455981 @default.
- W4879936 hasVolume "119" @default.
- W4879936 isParatext "false" @default.
- W4879936 isRetracted "false" @default.
- W4879936 magId "4879936" @default.
- W4879936 workType "article" @default.