Matches in SemOpenAlex for { <https://semopenalex.org/work/W2060759904> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2060759904 endingPage "14" @default.
- W2060759904 startingPage "1" @default.
- W2060759904 abstract "This paper presents two sequent calculi, requiring no clausal form for types, whose typable terms are in 1–1 correspondence with the normal terms of the λ∏- and λΠΣ-calculi. Such sequent calculi allow no permutations in the order in which inference rules occur on derivations of typable terms and are thus appropriate for proof search. In these calculi proof search can be performed in a root-first fashion and type conversions are solely required in axiom formation." @default.
- W2060759904 created "2016-06-24" @default.
- W2060759904 creator A5063925293 @default.
- W2060759904 creator A5064769604 @default.
- W2060759904 date "1998-01-01" @default.
- W2060759904 modified "2023-09-27" @default.
- W2060759904 title "Sequent Calculi for the Normal Terms of the λΠ- and λΠ∑-Calculi" @default.
- W2060759904 cites W1487717359 @default.
- W2060759904 cites W1499154644 @default.
- W2060759904 cites W1969881696 @default.
- W2060759904 cites W1974190112 @default.
- W2060759904 cites W2017441861 @default.
- W2060759904 cites W2044758536 @default.
- W2060759904 cites W2058338325 @default.
- W2060759904 cites W2163693197 @default.
- W2060759904 cites W2276605436 @default.
- W2060759904 cites W2742270218 @default.
- W2060759904 cites W77859606 @default.
- W2060759904 doi "https://doi.org/10.1016/s1571-0661(05)01182-5" @default.
- W2060759904 hasPublicationYear "1998" @default.
- W2060759904 type Work @default.
- W2060759904 sameAs 2060759904 @default.
- W2060759904 citedByCount "1" @default.
- W2060759904 crossrefType "journal-article" @default.
- W2060759904 hasAuthorship W2060759904A5063925293 @default.
- W2060759904 hasAuthorship W2060759904A5064769604 @default.
- W2060759904 hasBestOaLocation W20607599041 @default.
- W2060759904 hasConcept C108710211 @default.
- W2060759904 hasConcept C111404639 @default.
- W2060759904 hasConcept C11413529 @default.
- W2060759904 hasConcept C118615104 @default.
- W2060759904 hasConcept C154945302 @default.
- W2060759904 hasConcept C167729594 @default.
- W2060759904 hasConcept C199343813 @default.
- W2060759904 hasConcept C2524010 @default.
- W2060759904 hasConcept C2776214188 @default.
- W2060759904 hasConcept C2777686260 @default.
- W2060759904 hasConcept C33923547 @default.
- W2060759904 hasConcept C3746660 @default.
- W2060759904 hasConcept C41008148 @default.
- W2060759904 hasConcept C62073222 @default.
- W2060759904 hasConcept C6489637 @default.
- W2060759904 hasConcept C65880906 @default.
- W2060759904 hasConcept C71924100 @default.
- W2060759904 hasConcept C89421646 @default.
- W2060759904 hasConceptScore W2060759904C108710211 @default.
- W2060759904 hasConceptScore W2060759904C111404639 @default.
- W2060759904 hasConceptScore W2060759904C11413529 @default.
- W2060759904 hasConceptScore W2060759904C118615104 @default.
- W2060759904 hasConceptScore W2060759904C154945302 @default.
- W2060759904 hasConceptScore W2060759904C167729594 @default.
- W2060759904 hasConceptScore W2060759904C199343813 @default.
- W2060759904 hasConceptScore W2060759904C2524010 @default.
- W2060759904 hasConceptScore W2060759904C2776214188 @default.
- W2060759904 hasConceptScore W2060759904C2777686260 @default.
- W2060759904 hasConceptScore W2060759904C33923547 @default.
- W2060759904 hasConceptScore W2060759904C3746660 @default.
- W2060759904 hasConceptScore W2060759904C41008148 @default.
- W2060759904 hasConceptScore W2060759904C62073222 @default.
- W2060759904 hasConceptScore W2060759904C6489637 @default.
- W2060759904 hasConceptScore W2060759904C65880906 @default.
- W2060759904 hasConceptScore W2060759904C71924100 @default.
- W2060759904 hasConceptScore W2060759904C89421646 @default.
- W2060759904 hasLocation W20607599041 @default.
- W2060759904 hasOpenAccess W2060759904 @default.
- W2060759904 hasPrimaryLocation W20607599041 @default.
- W2060759904 hasRelatedWork W1484266479 @default.
- W2060759904 hasRelatedWork W1492421865 @default.
- W2060759904 hasRelatedWork W172885811 @default.
- W2060759904 hasRelatedWork W182117412 @default.
- W2060759904 hasRelatedWork W27959772 @default.
- W2060759904 hasRelatedWork W2888205906 @default.
- W2060759904 hasRelatedWork W2913618622 @default.
- W2060759904 hasRelatedWork W3037905658 @default.
- W2060759904 hasRelatedWork W4286750951 @default.
- W2060759904 hasRelatedWork W162254089 @default.
- W2060759904 hasVolume "17" @default.
- W2060759904 isParatext "false" @default.
- W2060759904 isRetracted "false" @default.
- W2060759904 magId "2060759904" @default.
- W2060759904 workType "article" @default.