Matches in SemOpenAlex for { <https://semopenalex.org/work/W2054684736> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2054684736 endingPage "591" @default.
- W2054684736 startingPage "559" @default.
- W2054684736 abstract "We present a formalism of trees with pointers, called abstract Böhm trees, that provide a suitable abstract framework in which various cut-free proofs or normal terms of several λ-calculus based languages (including P CF and Parigot's λμ-calculus) can be faithfully encoded. A simple abstract machine called the View Abstract Machine ( VAM ) allows us to compute over abstract Böhm trees. The VAM is closely related to Coquand's interaction sequences and debates. The VAM execution over finite abstract Böhm trees always terminates. We next introduce an abstract notion of type that fits the purpose of guaranteeing that the VAM cannot go into deadlock, i.e. , that it always reaches a satisfactory final state. Typed abstract Böhm trees can be turned into a category – more naturally a ‘multi-category’ where the domains of arrows are sets of named objects or records. We then go from the abstract to the concrete by giving examples. Our sets of abstract (typed) Böhm trees are relative to an alphabet and a set of types. By instantiating these two parameter sets appropriately, we recover, successively: (η-long) typed Böhm trees; P CF trees as considered in the game models of Hyland–Ong or of Abramsky–Jagadeesan–Malacaria; a notion of classical Böhm tree due to Herbelin that provides a classical version of P CF trees in the style of λμ-calculus; and, finally, cut-free proofs in Novikov's infinitary propositional logic as investigated by Coquand. In a companion paper, we investigate the operational aspects of (untyped) Böhm trees in more depth." @default.
- W2054684736 created "2016-06-24" @default.
- W2054684736 creator A5064315130 @default.
- W2054684736 date "1998-12-01" @default.
- W2054684736 modified "2023-09-25" @default.
- W2054684736 title "Abstract Böhm trees" @default.
- W2054684736 cites W1524366083 @default.
- W2054684736 cites W1547926009 @default.
- W2054684736 cites W1551576476 @default.
- W2054684736 cites W1579914362 @default.
- W2054684736 cites W2008920425 @default.
- W2054684736 cites W2022873112 @default.
- W2054684736 cites W2039112578 @default.
- W2054684736 cites W2071289523 @default.
- W2054684736 cites W2119636363 @default.
- W2054684736 cites W2132265554 @default.
- W2054684736 cites W2153079347 @default.
- W2054684736 cites W2267999129 @default.
- W2054684736 doi "https://doi.org/10.1017/s0960129598002631" @default.
- W2054684736 hasPublicationYear "1998" @default.
- W2054684736 type Work @default.
- W2054684736 sameAs 2054684736 @default.
- W2054684736 citedByCount "28" @default.
- W2054684736 countsByYear W20546847362012 @default.
- W2054684736 countsByYear W20546847362013 @default.
- W2054684736 countsByYear W20546847362014 @default.
- W2054684736 countsByYear W20546847362015 @default.
- W2054684736 countsByYear W20546847362016 @default.
- W2054684736 countsByYear W20546847362019 @default.
- W2054684736 countsByYear W20546847362020 @default.
- W2054684736 countsByYear W20546847362021 @default.
- W2054684736 countsByYear W20546847362023 @default.
- W2054684736 crossrefType "journal-article" @default.
- W2054684736 hasAuthorship W2054684736A5064315130 @default.
- W2054684736 hasConcept C108710211 @default.
- W2054684736 hasConcept C111472728 @default.
- W2054684736 hasConcept C112876837 @default.
- W2054684736 hasConcept C113174947 @default.
- W2054684736 hasConcept C114614502 @default.
- W2054684736 hasConcept C118615104 @default.
- W2054684736 hasConcept C138885662 @default.
- W2054684736 hasConcept C142362112 @default.
- W2054684736 hasConcept C153349607 @default.
- W2054684736 hasConcept C199360897 @default.
- W2054684736 hasConcept C2524010 @default.
- W2054684736 hasConcept C2780586882 @default.
- W2054684736 hasConcept C33923547 @default.
- W2054684736 hasConcept C41008148 @default.
- W2054684736 hasConcept C41895202 @default.
- W2054684736 hasConcept C558565934 @default.
- W2054684736 hasConcept C73301696 @default.
- W2054684736 hasConcept C88977235 @default.
- W2054684736 hasConceptScore W2054684736C108710211 @default.
- W2054684736 hasConceptScore W2054684736C111472728 @default.
- W2054684736 hasConceptScore W2054684736C112876837 @default.
- W2054684736 hasConceptScore W2054684736C113174947 @default.
- W2054684736 hasConceptScore W2054684736C114614502 @default.
- W2054684736 hasConceptScore W2054684736C118615104 @default.
- W2054684736 hasConceptScore W2054684736C138885662 @default.
- W2054684736 hasConceptScore W2054684736C142362112 @default.
- W2054684736 hasConceptScore W2054684736C153349607 @default.
- W2054684736 hasConceptScore W2054684736C199360897 @default.
- W2054684736 hasConceptScore W2054684736C2524010 @default.
- W2054684736 hasConceptScore W2054684736C2780586882 @default.
- W2054684736 hasConceptScore W2054684736C33923547 @default.
- W2054684736 hasConceptScore W2054684736C41008148 @default.
- W2054684736 hasConceptScore W2054684736C41895202 @default.
- W2054684736 hasConceptScore W2054684736C558565934 @default.
- W2054684736 hasConceptScore W2054684736C73301696 @default.
- W2054684736 hasConceptScore W2054684736C88977235 @default.
- W2054684736 hasIssue "6" @default.
- W2054684736 hasLocation W20546847361 @default.
- W2054684736 hasOpenAccess W2054684736 @default.
- W2054684736 hasPrimaryLocation W20546847361 @default.
- W2054684736 hasRelatedWork W145900249 @default.
- W2054684736 hasRelatedWork W1531437820 @default.
- W2054684736 hasRelatedWork W197731828 @default.
- W2054684736 hasRelatedWork W2045424339 @default.
- W2054684736 hasRelatedWork W2157071601 @default.
- W2054684736 hasRelatedWork W2186533542 @default.
- W2054684736 hasRelatedWork W3005581646 @default.
- W2054684736 hasRelatedWork W4239527502 @default.
- W2054684736 hasRelatedWork W4313025747 @default.
- W2054684736 hasRelatedWork W171777533 @default.
- W2054684736 hasVolume "8" @default.
- W2054684736 isParatext "false" @default.
- W2054684736 isRetracted "false" @default.
- W2054684736 magId "2054684736" @default.
- W2054684736 workType "article" @default.