Matches in SemOpenAlex for { <https://semopenalex.org/work/W1648281324> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1648281324 endingPage "300" @default.
- W1648281324 startingPage "286" @default.
- W1648281324 abstract "This work presents an extension with cuts of Schwichtenberg’s multiary sequent calculus. We identify a set of permutative conversions on it, prove their termination and confluence and establish the permutability theorem. We present our sequent calculus as the typing system of the generalised multiary λ-calculus λ J m , a new calculus introduced in this work. λ J m corresponds to an extension of λ-calculus with a notion of generalised multiary application, which may be seen as a function applied to a list of arguments and then explicitly substituted in another term. Proof-theoretically the corresponding typing rule encompasses, in a modular way, generalised eliminations of von Plato and Herbelin’s head cuts." @default.
- W1648281324 created "2016-06-24" @default.
- W1648281324 creator A5055205012 @default.
- W1648281324 creator A5063925293 @default.
- W1648281324 date "2003-01-01" @default.
- W1648281324 modified "2023-10-16" @default.
- W1648281324 title "Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts" @default.
- W1648281324 cites W1487717359 @default.
- W1648281324 cites W2030752324 @default.
- W1648281324 cites W2055224523 @default.
- W1648281324 cites W2060230835 @default.
- W1648281324 cites W2086742209 @default.
- W1648281324 cites W4206283588 @default.
- W1648281324 doi "https://doi.org/10.1007/3-540-44904-3_20" @default.
- W1648281324 hasPublicationYear "2003" @default.
- W1648281324 type Work @default.
- W1648281324 sameAs 1648281324 @default.
- W1648281324 citedByCount "11" @default.
- W1648281324 countsByYear W16482813242022 @default.
- W1648281324 crossrefType "book-chapter" @default.
- W1648281324 hasAuthorship W1648281324A5055205012 @default.
- W1648281324 hasAuthorship W1648281324A5063925293 @default.
- W1648281324 hasBestOaLocation W16482813242 @default.
- W1648281324 hasConcept C108710211 @default.
- W1648281324 hasConcept C111404639 @default.
- W1648281324 hasConcept C118615104 @default.
- W1648281324 hasConcept C136119220 @default.
- W1648281324 hasConcept C199343813 @default.
- W1648281324 hasConcept C199360897 @default.
- W1648281324 hasConcept C202444582 @default.
- W1648281324 hasConcept C2524010 @default.
- W1648281324 hasConcept C2777686260 @default.
- W1648281324 hasConcept C2778029271 @default.
- W1648281324 hasConcept C33923547 @default.
- W1648281324 hasConcept C41008148 @default.
- W1648281324 hasConcept C62073222 @default.
- W1648281324 hasConcept C6489637 @default.
- W1648281324 hasConcept C65880906 @default.
- W1648281324 hasConcept C71924100 @default.
- W1648281324 hasConcept C89421646 @default.
- W1648281324 hasConceptScore W1648281324C108710211 @default.
- W1648281324 hasConceptScore W1648281324C111404639 @default.
- W1648281324 hasConceptScore W1648281324C118615104 @default.
- W1648281324 hasConceptScore W1648281324C136119220 @default.
- W1648281324 hasConceptScore W1648281324C199343813 @default.
- W1648281324 hasConceptScore W1648281324C199360897 @default.
- W1648281324 hasConceptScore W1648281324C202444582 @default.
- W1648281324 hasConceptScore W1648281324C2524010 @default.
- W1648281324 hasConceptScore W1648281324C2777686260 @default.
- W1648281324 hasConceptScore W1648281324C2778029271 @default.
- W1648281324 hasConceptScore W1648281324C33923547 @default.
- W1648281324 hasConceptScore W1648281324C41008148 @default.
- W1648281324 hasConceptScore W1648281324C62073222 @default.
- W1648281324 hasConceptScore W1648281324C6489637 @default.
- W1648281324 hasConceptScore W1648281324C65880906 @default.
- W1648281324 hasConceptScore W1648281324C71924100 @default.
- W1648281324 hasConceptScore W1648281324C89421646 @default.
- W1648281324 hasLocation W16482813241 @default.
- W1648281324 hasLocation W16482813242 @default.
- W1648281324 hasOpenAccess W1648281324 @default.
- W1648281324 hasPrimaryLocation W16482813241 @default.
- W1648281324 hasRelatedWork W1562648369 @default.
- W1648281324 hasRelatedWork W2023557900 @default.
- W1648281324 hasRelatedWork W2137780954 @default.
- W1648281324 hasRelatedWork W2513857873 @default.
- W1648281324 hasRelatedWork W2949403236 @default.
- W1648281324 hasRelatedWork W3017269122 @default.
- W1648281324 hasRelatedWork W3090765541 @default.
- W1648281324 hasRelatedWork W4289719533 @default.
- W1648281324 hasRelatedWork W4295728898 @default.
- W1648281324 hasRelatedWork W2584381231 @default.
- W1648281324 isParatext "false" @default.
- W1648281324 isRetracted "false" @default.
- W1648281324 magId "1648281324" @default.
- W1648281324 workType "book-chapter" @default.