FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W184616900> ?p ?o ?g. }

• W184616900 abstract "We propose a realizability interpretation of a system for quantifier free arithmetic which is equivalent to the fragment of classical arithmetic without nested quantifiers, called here EM1-arithmetic. We interpret classical proofs as interactive learning strategies, namely as processes going through several stages of knowledge and learning by interacting with the environment and with each other. We give a categorical presentation of the interpretation through the construction of two suitable monads." @default.
• W184616900 created "2016-06-24" @default.
• W184616900 creator A5017026543 @default.
• W184616900 creator A5020561481 @default.
• W184616900 date "2010-05-17" @default.
• W184616900 modified "2023-09-27" @default.
• W184616900 title "Interactive Realizers and Monads" @default.
• W184616900 cites W1510765443 @default.
• W184616900 cites W1516748551 @default.
• W184616900 cites W1547926009 @default.
• W184616900 cites W1552101395 @default.
• W184616900 cites W159715351 @default.
• W184616900 cites W162931075 @default.
• W184616900 cites W1632161647 @default.
• W184616900 cites W1969005071 @default.
• W184616900 cites W1972643961 @default.
• W184616900 cites W1974193572 @default.
• W184616900 cites W1974921390 @default.
• W184616900 cites W1975810242 @default.
• W184616900 cites W1997143185 @default.
• W184616900 cites W2008920425 @default.
• W184616900 cites W2016326123 @default.
• W184616900 cites W2049362364 @default.
• W184616900 cites W2055924668 @default.
• W184616900 cites W2071289523 @default.
• W184616900 cites W2110935606 @default.
• W184616900 cites W2118633760 @default.
• W184616900 cites W2120713972 @default.
• W184616900 cites W2134419104 @default.
• W184616900 cites W2135287414 @default.
• W184616900 cites W2137657593 @default.
• W184616900 cites W2177357765 @default.
• W184616900 cites W2599445190 @default.
• W184616900 cites W2798718690 @default.
• W184616900 cites W2020510887 @default.
• W184616900 hasPublicationYear "2010" @default.
• W184616900 type Work @default.
• W184616900 sameAs 184616900 @default.
• W184616900 citedByCount "1" @default.
• W184616900 countsByYear W1846169002012 @default.
• W184616900 crossrefType "posted-content" @default.
• W184616900 hasAuthorship W184616900A5017026543 @default.
• W184616900 hasAuthorship W184616900A5020561481 @default.
• W184616900 hasConcept C108710211 @default.
• W184616900 hasConcept C119857082 @default.
• W184616900 hasConcept C126838900 @default.
• W184616900 hasConcept C136119220 @default.
• W184616900 hasConcept C154945302 @default.
• W184616900 hasConcept C199360897 @default.
• W184616900 hasConcept C202444582 @default.
• W184616900 hasConcept C2524010 @default.
• W184616900 hasConcept C2776235265 @default.
• W184616900 hasConcept C2776378722 @default.
• W184616900 hasConcept C2777601897 @default.
• W184616900 hasConcept C2778523021 @default.
• W184616900 hasConcept C33923547 @default.
• W184616900 hasConcept C41008148 @default.
• W184616900 hasConcept C5274069 @default.
• W184616900 hasConcept C527412718 @default.
• W184616900 hasConcept C71924100 @default.
• W184616900 hasConcept C94375191 @default.
• W184616900 hasConceptScore W184616900C108710211 @default.
• W184616900 hasConceptScore W184616900C119857082 @default.
• W184616900 hasConceptScore W184616900C126838900 @default.
• W184616900 hasConceptScore W184616900C136119220 @default.
• W184616900 hasConceptScore W184616900C154945302 @default.
• W184616900 hasConceptScore W184616900C199360897 @default.
• W184616900 hasConceptScore W184616900C202444582 @default.
• W184616900 hasConceptScore W184616900C2524010 @default.
• W184616900 hasConceptScore W184616900C2776235265 @default.
• W184616900 hasConceptScore W184616900C2776378722 @default.
• W184616900 hasConceptScore W184616900C2777601897 @default.
• W184616900 hasConceptScore W184616900C2778523021 @default.
• W184616900 hasConceptScore W184616900C33923547 @default.
• W184616900 hasConceptScore W184616900C41008148 @default.
• W184616900 hasConceptScore W184616900C5274069 @default.
• W184616900 hasConceptScore W184616900C527412718 @default.
• W184616900 hasConceptScore W184616900C71924100 @default.
• W184616900 hasConceptScore W184616900C94375191 @default.
• W184616900 hasLocation W1846169001 @default.
• W184616900 hasOpenAccess W184616900 @default.
• W184616900 hasPrimaryLocation W1846169001 @default.
• W184616900 hasRelatedWork W1528933246 @default.
• W184616900 hasRelatedWork W1607115167 @default.
• W184616900 hasRelatedWork W1841214625 @default.
• W184616900 hasRelatedWork W1972941567 @default.
• W184616900 hasRelatedWork W1978736247 @default.
• W184616900 hasRelatedWork W1981961379 @default.
• W184616900 hasRelatedWork W2000183812 @default.
• W184616900 hasRelatedWork W2012616239 @default.
• W184616900 hasRelatedWork W2015274054 @default.
• W184616900 hasRelatedWork W2078730256 @default.
• W184616900 hasRelatedWork W2116126715 @default.
• W184616900 hasRelatedWork W2149845275 @default.
• W184616900 hasRelatedWork W2153079347 @default.
• W184616900 hasRelatedWork W2529848628 @default.
• W184616900 hasRelatedWork W2530178066 @default.
• W184616900 hasRelatedWork W2952468129 @default.
• W184616900 hasRelatedWork W3098537093 @default.
• W184616900 hasRelatedWork W3124444065 @default.

• next