Matches in SemOpenAlex for { <https://semopenalex.org/work/W1775904074> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1775904074 abstract "This paper defines a notion of binding trees that provide a suitable model for second-order type systems with F-bounded quantifiers and equirecursive types. It defines a notion of regular binding trees that correspond in the right way to notions of regularity in the first-order case. It defines a notion of subtyping on these trees and proves various properties of the subtyping relation. It defines a mapping from types to trees and shows that types produce regular binding trees. It presents a set of type equality and subtyping rules, and proves them sound and complete with respect to the tree interpretation. It defines a notion of binding-tree automata and how these generate regular binding trees. It gives a polynomial-time algorithm for deciding when two automata's trees are in the subtyping relation." @default.
- W1775904074 created "2016-06-24" @default.
- W1775904074 creator A5071801109 @default.
- W1775904074 date "2012-02-12" @default.
- W1775904074 modified "2023-09-27" @default.
- W1775904074 title "Subtyping for F-Bounded Quantifiers and Equirecursive Types (Extended Version)" @default.
- W1775904074 cites W2123727486 @default.
- W1775904074 cites W2155209389 @default.
- W1775904074 cites W2159748649 @default.
- W1775904074 hasPublicationYear "2012" @default.
- W1775904074 type Work @default.
- W1775904074 sameAs 1775904074 @default.
- W1775904074 citedByCount "0" @default.
- W1775904074 crossrefType "posted-content" @default.
- W1775904074 hasAuthorship W1775904074A5071801109 @default.
- W1775904074 hasConcept C112505250 @default.
- W1775904074 hasConcept C113174947 @default.
- W1775904074 hasConcept C114614502 @default.
- W1775904074 hasConcept C118615104 @default.
- W1775904074 hasConcept C124101348 @default.
- W1775904074 hasConcept C134306372 @default.
- W1775904074 hasConcept C177264268 @default.
- W1775904074 hasConcept C18903297 @default.
- W1775904074 hasConcept C199360897 @default.
- W1775904074 hasConcept C25343380 @default.
- W1775904074 hasConcept C2777299769 @default.
- W1775904074 hasConcept C2778583254 @default.
- W1775904074 hasConcept C33923547 @default.
- W1775904074 hasConcept C34388435 @default.
- W1775904074 hasConcept C41008148 @default.
- W1775904074 hasConcept C527412718 @default.
- W1775904074 hasConcept C80444323 @default.
- W1775904074 hasConcept C83852419 @default.
- W1775904074 hasConcept C86803240 @default.
- W1775904074 hasConceptScore W1775904074C112505250 @default.
- W1775904074 hasConceptScore W1775904074C113174947 @default.
- W1775904074 hasConceptScore W1775904074C114614502 @default.
- W1775904074 hasConceptScore W1775904074C118615104 @default.
- W1775904074 hasConceptScore W1775904074C124101348 @default.
- W1775904074 hasConceptScore W1775904074C134306372 @default.
- W1775904074 hasConceptScore W1775904074C177264268 @default.
- W1775904074 hasConceptScore W1775904074C18903297 @default.
- W1775904074 hasConceptScore W1775904074C199360897 @default.
- W1775904074 hasConceptScore W1775904074C25343380 @default.
- W1775904074 hasConceptScore W1775904074C2777299769 @default.
- W1775904074 hasConceptScore W1775904074C2778583254 @default.
- W1775904074 hasConceptScore W1775904074C33923547 @default.
- W1775904074 hasConceptScore W1775904074C34388435 @default.
- W1775904074 hasConceptScore W1775904074C41008148 @default.
- W1775904074 hasConceptScore W1775904074C527412718 @default.
- W1775904074 hasConceptScore W1775904074C80444323 @default.
- W1775904074 hasConceptScore W1775904074C83852419 @default.
- W1775904074 hasConceptScore W1775904074C86803240 @default.
- W1775904074 hasLocation W17759040741 @default.
- W1775904074 hasOpenAccess W1775904074 @default.
- W1775904074 hasPrimaryLocation W17759040741 @default.
- W1775904074 hasRelatedWork W1609831664 @default.
- W1775904074 hasRelatedWork W2002690977 @default.
- W1775904074 hasRelatedWork W2036750617 @default.
- W1775904074 hasRelatedWork W2044842674 @default.
- W1775904074 hasRelatedWork W2049341780 @default.
- W1775904074 hasRelatedWork W2080158894 @default.
- W1775904074 hasRelatedWork W2152236164 @default.
- W1775904074 hasRelatedWork W2242649818 @default.
- W1775904074 hasRelatedWork W2275415862 @default.
- W1775904074 hasRelatedWork W2345562577 @default.
- W1775904074 hasRelatedWork W2468936326 @default.
- W1775904074 hasRelatedWork W2613991555 @default.
- W1775904074 hasRelatedWork W2913236170 @default.
- W1775904074 hasRelatedWork W2950337683 @default.
- W1775904074 hasRelatedWork W2951413298 @default.
- W1775904074 hasRelatedWork W2952376781 @default.
- W1775904074 hasRelatedWork W2963429542 @default.
- W1775904074 hasRelatedWork W3101838909 @default.
- W1775904074 hasRelatedWork W55323366 @default.
- W1775904074 hasRelatedWork W1585227326 @default.
- W1775904074 isParatext "false" @default.
- W1775904074 isRetracted "false" @default.
- W1775904074 magId "1775904074" @default.
- W1775904074 workType "article" @default.