Matches in SemOpenAlex for { <https://semopenalex.org/work/W2942964520> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2942964520 abstract "Many applications of denotational semantics, such as higher-order model checking or the complexity of normalization, rely on finite semantics for monomorphic type systems. We exhibit such a finite semantics for a polymorphic purely linear language: more precisely, we show that in Girard's semantics of second-order linear logic using coherence spaces and normal functors, the denotations of multiplicative-additive formulas are finite. This model is also effective, in the sense that the denotations of formulas and proofs are computable, as we show. We also establish analogous results for a second-order extension of Ehrhard's hypercoherences; while finiteness holds for the same reason as in coherence spaces, effectivity presents additional difficulties. Finally, we discuss the applications our our work to implicit computational complexity in linear (or affine) logic. In view of these applications, we study cardinality and complexity bounds in our finite semantics." @default.
- W2942964520 created "2019-05-09" @default.
- W2942964520 creator A5065976105 @default.
- W2942964520 date "2019-02-01" @default.
- W2942964520 modified "2023-09-27" @default.
- W2942964520 title "Around finite second-order coherence spaces" @default.
- W2942964520 cites W147093031 @default.
- W2942964520 cites W1496335730 @default.
- W2942964520 cites W1967930826 @default.
- W2942964520 cites W2004553747 @default.
- W2942964520 cites W2018805361 @default.
- W2942964520 cites W2054969282 @default.
- W2942964520 cites W2088881461 @default.
- W2942964520 cites W2102279827 @default.
- W2942964520 cites W2104255279 @default.
- W2942964520 cites W2106173595 @default.
- W2942964520 cites W2109174418 @default.
- W2942964520 cites W2129064963 @default.
- W2942964520 cites W2246934006 @default.
- W2942964520 cites W2517956070 @default.
- W2942964520 cites W2612877505 @default.
- W2942964520 cites W2743280555 @default.
- W2942964520 cites W2804330401 @default.
- W2942964520 cites W2946452685 @default.
- W2942964520 cites W2962743500 @default.
- W2942964520 cites W3014524000 @default.
- W2942964520 cites W3103534563 @default.
- W2942964520 cites W3183609626 @default.
- W2942964520 hasPublicationYear "2019" @default.
- W2942964520 type Work @default.
- W2942964520 sameAs 2942964520 @default.
- W2942964520 citedByCount "0" @default.
- W2942964520 crossrefType "posted-content" @default.
- W2942964520 hasAuthorship W2942964520A5065976105 @default.
- W2942964520 hasConcept C118615104 @default.
- W2942964520 hasConcept C136119220 @default.
- W2942964520 hasConcept C136886441 @default.
- W2942964520 hasConcept C144024400 @default.
- W2942964520 hasConcept C156325763 @default.
- W2942964520 hasConcept C156772000 @default.
- W2942964520 hasConcept C184337299 @default.
- W2942964520 hasConcept C19165224 @default.
- W2942964520 hasConcept C199360897 @default.
- W2942964520 hasConcept C202444582 @default.
- W2942964520 hasConcept C207648694 @default.
- W2942964520 hasConcept C28077239 @default.
- W2942964520 hasConcept C33923547 @default.
- W2942964520 hasConcept C39920170 @default.
- W2942964520 hasConcept C41008148 @default.
- W2942964520 hasConcept C92757383 @default.
- W2942964520 hasConceptScore W2942964520C118615104 @default.
- W2942964520 hasConceptScore W2942964520C136119220 @default.
- W2942964520 hasConceptScore W2942964520C136886441 @default.
- W2942964520 hasConceptScore W2942964520C144024400 @default.
- W2942964520 hasConceptScore W2942964520C156325763 @default.
- W2942964520 hasConceptScore W2942964520C156772000 @default.
- W2942964520 hasConceptScore W2942964520C184337299 @default.
- W2942964520 hasConceptScore W2942964520C19165224 @default.
- W2942964520 hasConceptScore W2942964520C199360897 @default.
- W2942964520 hasConceptScore W2942964520C202444582 @default.
- W2942964520 hasConceptScore W2942964520C207648694 @default.
- W2942964520 hasConceptScore W2942964520C28077239 @default.
- W2942964520 hasConceptScore W2942964520C33923547 @default.
- W2942964520 hasConceptScore W2942964520C39920170 @default.
- W2942964520 hasConceptScore W2942964520C41008148 @default.
- W2942964520 hasConceptScore W2942964520C92757383 @default.
- W2942964520 hasLocation W29429645201 @default.
- W2942964520 hasOpenAccess W2942964520 @default.
- W2942964520 hasPrimaryLocation W29429645201 @default.
- W2942964520 hasRelatedWork W126976627 @default.
- W2942964520 hasRelatedWork W1581123558 @default.
- W2942964520 hasRelatedWork W1591670035 @default.
- W2942964520 hasRelatedWork W2059456146 @default.
- W2942964520 hasRelatedWork W2096619922 @default.
- W2942964520 hasRelatedWork W2133014686 @default.
- W2942964520 hasRelatedWork W2402892473 @default.
- W2942964520 hasRelatedWork W2529242558 @default.
- W2942964520 hasRelatedWork W2576347756 @default.
- W2942964520 hasRelatedWork W2737552223 @default.
- W2942964520 hasRelatedWork W2765199190 @default.
- W2942964520 hasRelatedWork W2798485127 @default.
- W2942964520 hasRelatedWork W2809754822 @default.
- W2942964520 hasRelatedWork W28931835 @default.
- W2942964520 hasRelatedWork W2907351305 @default.
- W2942964520 hasRelatedWork W2939991526 @default.
- W2942964520 hasRelatedWork W2950299681 @default.
- W2942964520 hasRelatedWork W2952112679 @default.
- W2942964520 hasRelatedWork W2981732651 @default.
- W2942964520 hasRelatedWork W3182522751 @default.
- W2942964520 isParatext "false" @default.
- W2942964520 isRetracted "false" @default.
- W2942964520 magId "2942964520" @default.
- W2942964520 workType "article" @default.