Matches in SemOpenAlex for { <https://semopenalex.org/work/W2419062804> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2419062804 abstract "In this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of programming languages into proof theory. This scientific essay, written for the audience of proof theorists as well as the working mathematician, is not a survey of the field, but rather a personal view of the author who hopes that it may inspire future and fellow researchers." @default.
- W2419062804 created "2016-06-24" @default.
- W2419062804 creator A5012235221 @default.
- W2419062804 date "2017-11-01" @default.
- W2419062804 modified "2023-09-25" @default.
- W2419062804 title "Perspectives for proof unwinding by programming languages techniques" @default.
- W2419062804 cites W121484200 @default.
- W2419062804 cites W1491272572 @default.
- W2419062804 cites W1506561761 @default.
- W2419062804 cites W1518475516 @default.
- W2419062804 cites W1525809175 @default.
- W2419062804 cites W1893170605 @default.
- W2419062804 cites W1933071604 @default.
- W2419062804 cites W1976673631 @default.
- W2419062804 cites W1978663584 @default.
- W2419062804 cites W1979180673 @default.
- W2419062804 cites W1992765863 @default.
- W2419062804 cites W2000451268 @default.
- W2419062804 cites W2016653553 @default.
- W2419062804 cites W2017944894 @default.
- W2419062804 cites W2021745396 @default.
- W2419062804 cites W2036321241 @default.
- W2419062804 cites W2039705582 @default.
- W2419062804 cites W2041111005 @default.
- W2419062804 cites W2059204568 @default.
- W2419062804 cites W2065381138 @default.
- W2419062804 cites W2068169489 @default.
- W2419062804 cites W2071402192 @default.
- W2419062804 cites W2097673562 @default.
- W2419062804 cites W2102135385 @default.
- W2419062804 cites W2102151984 @default.
- W2419062804 cites W2112145021 @default.
- W2419062804 cites W2113393253 @default.
- W2419062804 cites W2115627721 @default.
- W2419062804 cites W2140899172 @default.
- W2419062804 cites W2159591963 @default.
- W2419062804 cites W2170105957 @default.
- W2419062804 cites W2222257017 @default.
- W2419062804 cites W2275376313 @default.
- W2419062804 cites W2462126151 @default.
- W2419062804 cites W2475129850 @default.
- W2419062804 cites W2898503052 @default.
- W2419062804 cites W294670090 @default.
- W2419062804 cites W3101972781 @default.
- W2419062804 cites W3105111019 @default.
- W2419062804 cites W56358913 @default.
- W2419062804 cites W778828832 @default.
- W2419062804 cites W2384675828 @default.
- W2419062804 hasPublicationYear "2017" @default.
- W2419062804 type Work @default.
- W2419062804 sameAs 2419062804 @default.
- W2419062804 citedByCount "0" @default.
- W2419062804 crossrefType "journal-article" @default.
- W2419062804 hasAuthorship W2419062804A5012235221 @default.
- W2419062804 hasBestOaLocation W24190628041 @default.
- W2419062804 hasConcept C199360897 @default.
- W2419062804 hasConcept C41008148 @default.
- W2419062804 hasConceptScore W2419062804C199360897 @default.
- W2419062804 hasConceptScore W2419062804C41008148 @default.
- W2419062804 hasLocation W24190628041 @default.
- W2419062804 hasLocation W24190628042 @default.
- W2419062804 hasLocation W24190628043 @default.
- W2419062804 hasOpenAccess W2419062804 @default.
- W2419062804 hasPrimaryLocation W24190628041 @default.
- W2419062804 hasRelatedWork W1527862632 @default.
- W2419062804 hasRelatedWork W2109507516 @default.
- W2419062804 hasRelatedWork W2112962394 @default.
- W2419062804 hasRelatedWork W2118300983 @default.
- W2419062804 hasRelatedWork W2135396778 @default.
- W2419062804 hasRelatedWork W2166247150 @default.
- W2419062804 hasRelatedWork W2740990710 @default.
- W2419062804 hasRelatedWork W3137189469 @default.
- W2419062804 hasRelatedWork W4235530921 @default.
- W2419062804 hasRelatedWork W4243252198 @default.
- W2419062804 isParatext "false" @default.
- W2419062804 isRetracted "false" @default.
- W2419062804 magId "2419062804" @default.
- W2419062804 workType "article" @default.