Matches in SemOpenAlex for { <https://semopenalex.org/work/W2795164327> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2795164327 abstract "Functional Kan simplicial sets are simplicial sets in which the horn-fillers required by the Kan extension condition are given explicitly by functions. We show the non-constructivity of the following basic result: if B and A are functional Kan simplicial sets, then A^B is a Kan simplicial set. This strengthens a similar result for the case of non-functional Kan simplicial sets shown by Bezem, Coquand and Parmann [TLCA 2015, v. 38 of LIPIcs]. Ourresult shows that-from a constructive point of view-functionalKan simplicial sets are, as it stands, unsatisfactory as a model of even simply typed lambda calculus. Our proof is based on a rather involved Kripke countermodel which has been encoded and verified in the Coq proof assistant." @default.
- W2795164327 created "2018-04-06" @default.
- W2795164327 creator A5037645048 @default.
- W2795164327 date "2015-01-01" @default.
- W2795164327 modified "2023-09-27" @default.
- W2795164327 title "Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation." @default.
- W2795164327 hasPublicationYear "2015" @default.
- W2795164327 type Work @default.
- W2795164327 sameAs 2795164327 @default.
- W2795164327 citedByCount "0" @default.
- W2795164327 crossrefType "journal-article" @default.
- W2795164327 hasAuthorship W2795164327A5037645048 @default.
- W2795164327 hasConcept C114614502 @default.
- W2795164327 hasConcept C118615104 @default.
- W2795164327 hasConcept C127634017 @default.
- W2795164327 hasConcept C134306372 @default.
- W2795164327 hasConcept C135790938 @default.
- W2795164327 hasConcept C142156749 @default.
- W2795164327 hasConcept C146867743 @default.
- W2795164327 hasConcept C155366967 @default.
- W2795164327 hasConcept C187929450 @default.
- W2795164327 hasConcept C199360897 @default.
- W2795164327 hasConcept C202444582 @default.
- W2795164327 hasConcept C2778701210 @default.
- W2795164327 hasConcept C33923547 @default.
- W2795164327 hasConcept C3469331 @default.
- W2795164327 hasConcept C41008148 @default.
- W2795164327 hasConcept C5961521 @default.
- W2795164327 hasConcept C61237538 @default.
- W2795164327 hasConcept C64245159 @default.
- W2795164327 hasConcept C79236096 @default.
- W2795164327 hasConcept C81539297 @default.
- W2795164327 hasConcept C97172818 @default.
- W2795164327 hasConcept C98045186 @default.
- W2795164327 hasConceptScore W2795164327C114614502 @default.
- W2795164327 hasConceptScore W2795164327C118615104 @default.
- W2795164327 hasConceptScore W2795164327C127634017 @default.
- W2795164327 hasConceptScore W2795164327C134306372 @default.
- W2795164327 hasConceptScore W2795164327C135790938 @default.
- W2795164327 hasConceptScore W2795164327C142156749 @default.
- W2795164327 hasConceptScore W2795164327C146867743 @default.
- W2795164327 hasConceptScore W2795164327C155366967 @default.
- W2795164327 hasConceptScore W2795164327C187929450 @default.
- W2795164327 hasConceptScore W2795164327C199360897 @default.
- W2795164327 hasConceptScore W2795164327C202444582 @default.
- W2795164327 hasConceptScore W2795164327C2778701210 @default.
- W2795164327 hasConceptScore W2795164327C33923547 @default.
- W2795164327 hasConceptScore W2795164327C3469331 @default.
- W2795164327 hasConceptScore W2795164327C41008148 @default.
- W2795164327 hasConceptScore W2795164327C5961521 @default.
- W2795164327 hasConceptScore W2795164327C61237538 @default.
- W2795164327 hasConceptScore W2795164327C64245159 @default.
- W2795164327 hasConceptScore W2795164327C79236096 @default.
- W2795164327 hasConceptScore W2795164327C81539297 @default.
- W2795164327 hasConceptScore W2795164327C97172818 @default.
- W2795164327 hasConceptScore W2795164327C98045186 @default.
- W2795164327 hasLocation W27951643271 @default.
- W2795164327 hasOpenAccess W2795164327 @default.
- W2795164327 hasPrimaryLocation W27951643271 @default.
- W2795164327 hasRelatedWork W1507093113 @default.
- W2795164327 hasRelatedWork W1526709558 @default.
- W2795164327 hasRelatedWork W1552145226 @default.
- W2795164327 hasRelatedWork W1979049081 @default.
- W2795164327 hasRelatedWork W1988754305 @default.
- W2795164327 hasRelatedWork W2005021983 @default.
- W2795164327 hasRelatedWork W2020335187 @default.
- W2795164327 hasRelatedWork W2034881471 @default.
- W2795164327 hasRelatedWork W2051531869 @default.
- W2795164327 hasRelatedWork W2086662978 @default.
- W2795164327 hasRelatedWork W2110093303 @default.
- W2795164327 hasRelatedWork W2140183057 @default.
- W2795164327 hasRelatedWork W2161819557 @default.
- W2795164327 hasRelatedWork W2278156534 @default.
- W2795164327 hasRelatedWork W2305168253 @default.
- W2795164327 hasRelatedWork W2583091187 @default.
- W2795164327 hasRelatedWork W2901405231 @default.
- W2795164327 hasRelatedWork W2919262455 @default.
- W2795164327 hasRelatedWork W3163906208 @default.
- W2795164327 hasRelatedWork W393204985 @default.
- W2795164327 isParatext "false" @default.
- W2795164327 isRetracted "false" @default.
- W2795164327 magId "2795164327" @default.
- W2795164327 workType "article" @default.