Matches in SemOpenAlex for { <https://semopenalex.org/work/W177316062> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W177316062 abstract "In these notes, we sketch a recent application of the typed and type-free λ-calculus to Proof Theory and Category Theory. The proof is fairly incomplete and we refer the reader interested in the lengthy technical details to Bruce & DiCosmo & Longo [1990]. Our main purpose here is to hint a logical framework for the result below, in a rather preliminary and problematic form. The occasion is provided by the kind invitation to deliver a lecture at a meeting with such a stimulating title." @default.
- W177316062 created "2016-06-24" @default.
- W177316062 creator A5028392415 @default.
- W177316062 creator A5087991671 @default.
- W177316062 date "1992-01-01" @default.
- W177316062 modified "2023-09-23" @default.
- W177316062 title "Constructively Equivalent Propositions and Isomorphisms of Objects, or Terms as Natural Transformations" @default.
- W177316062 cites W2017944894 @default.
- W177316062 cites W2070236869 @default.
- W177316062 cites W2145018595 @default.
- W177316062 cites W2914837968 @default.
- W177316062 cites W4205865233 @default.
- W177316062 doi "https://doi.org/10.1007/978-1-4612-2822-6_4" @default.
- W177316062 hasPublicationYear "1992" @default.
- W177316062 type Work @default.
- W177316062 sameAs 177316062 @default.
- W177316062 citedByCount "3" @default.
- W177316062 crossrefType "book-chapter" @default.
- W177316062 hasAuthorship W177316062A5028392415 @default.
- W177316062 hasAuthorship W177316062A5087991671 @default.
- W177316062 hasConcept C108710211 @default.
- W177316062 hasConcept C111472728 @default.
- W177316062 hasConcept C11413529 @default.
- W177316062 hasConcept C138885662 @default.
- W177316062 hasConcept C166957645 @default.
- W177316062 hasConcept C18903297 @default.
- W177316062 hasConcept C199343813 @default.
- W177316062 hasConcept C199360897 @default.
- W177316062 hasConcept C2318724 @default.
- W177316062 hasConcept C2524010 @default.
- W177316062 hasConcept C2776608160 @default.
- W177316062 hasConcept C2777299769 @default.
- W177316062 hasConcept C2777686260 @default.
- W177316062 hasConcept C2779231336 @default.
- W177316062 hasConcept C33923547 @default.
- W177316062 hasConcept C41008148 @default.
- W177316062 hasConcept C62073222 @default.
- W177316062 hasConcept C71924100 @default.
- W177316062 hasConcept C86803240 @default.
- W177316062 hasConcept C93682546 @default.
- W177316062 hasConcept C95457728 @default.
- W177316062 hasConceptScore W177316062C108710211 @default.
- W177316062 hasConceptScore W177316062C111472728 @default.
- W177316062 hasConceptScore W177316062C11413529 @default.
- W177316062 hasConceptScore W177316062C138885662 @default.
- W177316062 hasConceptScore W177316062C166957645 @default.
- W177316062 hasConceptScore W177316062C18903297 @default.
- W177316062 hasConceptScore W177316062C199343813 @default.
- W177316062 hasConceptScore W177316062C199360897 @default.
- W177316062 hasConceptScore W177316062C2318724 @default.
- W177316062 hasConceptScore W177316062C2524010 @default.
- W177316062 hasConceptScore W177316062C2776608160 @default.
- W177316062 hasConceptScore W177316062C2777299769 @default.
- W177316062 hasConceptScore W177316062C2777686260 @default.
- W177316062 hasConceptScore W177316062C2779231336 @default.
- W177316062 hasConceptScore W177316062C33923547 @default.
- W177316062 hasConceptScore W177316062C41008148 @default.
- W177316062 hasConceptScore W177316062C62073222 @default.
- W177316062 hasConceptScore W177316062C71924100 @default.
- W177316062 hasConceptScore W177316062C86803240 @default.
- W177316062 hasConceptScore W177316062C93682546 @default.
- W177316062 hasConceptScore W177316062C95457728 @default.
- W177316062 hasLocation W1773160621 @default.
- W177316062 hasOpenAccess W177316062 @default.
- W177316062 hasPrimaryLocation W1773160621 @default.
- W177316062 hasRelatedWork W1563330158 @default.
- W177316062 hasRelatedWork W2073858584 @default.
- W177316062 hasRelatedWork W2093814492 @default.
- W177316062 hasRelatedWork W2099684400 @default.
- W177316062 hasRelatedWork W2123197280 @default.
- W177316062 hasRelatedWork W2144927799 @default.
- W177316062 hasRelatedWork W2295976912 @default.
- W177316062 hasRelatedWork W2462303056 @default.
- W177316062 hasRelatedWork W2494247423 @default.
- W177316062 hasRelatedWork W2496542965 @default.
- W177316062 hasRelatedWork W2501968317 @default.
- W177316062 hasRelatedWork W2730767158 @default.
- W177316062 hasRelatedWork W2747442053 @default.
- W177316062 hasRelatedWork W2889547349 @default.
- W177316062 hasRelatedWork W2905232526 @default.
- W177316062 hasRelatedWork W3029601918 @default.
- W177316062 hasRelatedWork W3093838511 @default.
- W177316062 hasRelatedWork W3094836992 @default.
- W177316062 hasRelatedWork W3547365 @default.
- W177316062 hasRelatedWork W3150584790 @default.
- W177316062 isParatext "false" @default.
- W177316062 isRetracted "false" @default.
- W177316062 magId "177316062" @default.
- W177316062 workType "book-chapter" @default.