Matches in SemOpenAlex for { <https://semopenalex.org/work/W4382405557> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4382405557 abstract "The spiritus asper as used by Frege in a letter to Russell from 1904 bears resemblance to Church’s lambda. It is natural to ask how they relate to each other. An alternative approach to functional abstraction developed by Per Martin-Löf some thirty years ago allows us to describe the relationship precisely. Frege’s spiritus asper provides a way of restructuring a unary function name in Frege’s sense such that the argument place indicator occurs all the way to the right. Martin-Löf’s alternative approach shows that this is only half of what lambda does. The other half is the deletion of the argument place indicator, resulting in what Frege would have called an isolated function name." @default.
- W4382405557 created "2023-06-29" @default.
- W4382405557 creator A5016386181 @default.
- W4382405557 date "2023-05-01" @default.
- W4382405557 modified "2023-09-26" @default.
- W4382405557 title "Spiritus Asper versus Lambda: On the Nature of Functional Abstraction" @default.
- W4382405557 cites W1418484073 @default.
- W4382405557 cites W1518395686 @default.
- W4382405557 cites W159082583 @default.
- W4382405557 cites W1733208214 @default.
- W4382405557 cites W1892383279 @default.
- W4382405557 cites W1996404651 @default.
- W4382405557 cites W2036328448 @default.
- W4382405557 cites W2064126797 @default.
- W4382405557 cites W2065753990 @default.
- W4382405557 cites W2078654385 @default.
- W4382405557 cites W2147629218 @default.
- W4382405557 cites W2151520617 @default.
- W4382405557 cites W2219605705 @default.
- W4382405557 cites W2963738827 @default.
- W4382405557 cites W2988841356 @default.
- W4382405557 cites W4214718123 @default.
- W4382405557 cites W4236324644 @default.
- W4382405557 cites W4249355983 @default.
- W4382405557 cites W4249525571 @default.
- W4382405557 cites W990876026 @default.
- W4382405557 doi "https://doi.org/10.1215/00294527-10670089" @default.
- W4382405557 hasPublicationYear "2023" @default.
- W4382405557 type Work @default.
- W4382405557 citedByCount "0" @default.
- W4382405557 crossrefType "journal-article" @default.
- W4382405557 hasAuthorship W4382405557A5016386181 @default.
- W4382405557 hasConcept C111472728 @default.
- W4382405557 hasConcept C124304363 @default.
- W4382405557 hasConcept C138885662 @default.
- W4382405557 hasConcept C27206212 @default.
- W4382405557 hasConcept C55493867 @default.
- W4382405557 hasConcept C86803240 @default.
- W4382405557 hasConcept C98184364 @default.
- W4382405557 hasConceptScore W4382405557C111472728 @default.
- W4382405557 hasConceptScore W4382405557C124304363 @default.
- W4382405557 hasConceptScore W4382405557C138885662 @default.
- W4382405557 hasConceptScore W4382405557C27206212 @default.
- W4382405557 hasConceptScore W4382405557C55493867 @default.
- W4382405557 hasConceptScore W4382405557C86803240 @default.
- W4382405557 hasConceptScore W4382405557C98184364 @default.
- W4382405557 hasIssue "2" @default.
- W4382405557 hasLocation W43824055571 @default.
- W4382405557 hasOpenAccess W4382405557 @default.
- W4382405557 hasPrimaryLocation W43824055571 @default.
- W4382405557 hasRelatedWork W2089801293 @default.
- W4382405557 hasRelatedWork W2108611755 @default.
- W4382405557 hasRelatedWork W2141014878 @default.
- W4382405557 hasRelatedWork W2594417113 @default.
- W4382405557 hasRelatedWork W2794161207 @default.
- W4382405557 hasRelatedWork W2799332305 @default.
- W4382405557 hasRelatedWork W2890689331 @default.
- W4382405557 hasRelatedWork W3094245317 @default.
- W4382405557 hasRelatedWork W3094546236 @default.
- W4382405557 hasRelatedWork W3128930256 @default.
- W4382405557 hasVolume "64" @default.
- W4382405557 isParatext "false" @default.
- W4382405557 isRetracted "false" @default.
- W4382405557 workType "article" @default.