FRINK Linked Data Fragments server

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

• W2898206502 endingPage "133" @default.
• W2898206502 startingPage "119" @default.
• W2898206502 abstract "In the context provided by the proceedings of the UVMP track of ISoLA 2016, we propose Type Theory as a suitable framework for both modelling and programming. We show that it fits most of the requirements put forward on such frameworks by Broy et al. and discuss some of the objections that can be raised against it." @default.
• W2898206502 created "2018-11-02" @default.
• W2898206502 creator A5008465984 @default.
• W2898206502 creator A5016034567 @default.
• W2898206502 creator A5032737176 @default.
• W2898206502 date "2018-01-01" @default.
• W2898206502 modified "2023-09-26" @default.
• W2898206502 title "Type Theory as a Framework for Modelling and Programming" @default.
• W2898206502 cites W142612778 @default.
• W2898206502 cites W1517125074 @default.
• W2898206502 cites W1742384193 @default.
• W2898206502 cites W1975196827 @default.
• W2898206502 cites W2023035194 @default.
• W2898206502 cites W2045689965 @default.
• W2898206502 cites W2047497632 @default.
• W2898206502 cites W2106393422 @default.
• W2898206502 cites W2134112335 @default.
• W2898206502 cites W2148049665 @default.
• W2898206502 cites W2221145448 @default.
• W2898206502 cites W2500280099 @default.
• W2898206502 cites W2516942390 @default.
• W2898206502 cites W2527678686 @default.
• W2898206502 cites W2527788966 @default.
• W2898206502 cites W2527848008 @default.
• W2898206502 cites W2527940474 @default.
• W2898206502 cites W2527980607 @default.
• W2898206502 cites W2528095371 @default.
• W2898206502 cites W2528104287 @default.
• W2898206502 cites W2528453367 @default.
• W2898206502 cites W2528551508 @default.
• W2898206502 cites W2528669479 @default.
• W2898206502 cites W2528783375 @default.
• W2898206502 cites W2529231801 @default.
• W2898206502 cites W2529330943 @default.
• W2898206502 cites W2529365243 @default.
• W2898206502 cites W2529543643 @default.
• W2898206502 cites W2529605024 @default.
• W2898206502 cites W258758391 @default.
• W2898206502 cites W2598985404 @default.
• W2898206502 cites W2604664164 @default.
• W2898206502 cites W2734797515 @default.
• W2898206502 cites W2769171049 @default.
• W2898206502 cites W3104827919 @default.
• W2898206502 cites W3163904326 @default.
• W2898206502 cites W4230013745 @default.
• W2898206502 cites W4237116508 @default.
• W2898206502 cites W4239316923 @default.
• W2898206502 cites W4240226860 @default.
• W2898206502 cites W4242926226 @default.
• W2898206502 cites W4243411988 @default.
• W2898206502 cites W4256606959 @default.
• W2898206502 cites W2765919195 @default.
• W2898206502 doi "https://doi.org/10.1007/978-3-030-03418-4_8" @default.
• W2898206502 hasPublicationYear "2018" @default.
• W2898206502 type Work @default.
• W2898206502 sameAs 2898206502 @default.
• W2898206502 citedByCount "2" @default.
• W2898206502 countsByYear W28982065022018 @default.
• W2898206502 countsByYear W28982065022023 @default.
• W2898206502 crossrefType "book-chapter" @default.
• W2898206502 hasAuthorship W2898206502A5008465984 @default.
• W2898206502 hasAuthorship W2898206502A5016034567 @default.
• W2898206502 hasAuthorship W2898206502A5032737176 @default.
• W2898206502 hasBestOaLocation W28982065022 @default.
• W2898206502 hasConcept C115903868 @default.
• W2898206502 hasConcept C151730666 @default.
• W2898206502 hasConcept C18903297 @default.
• W2898206502 hasConcept C199360897 @default.
• W2898206502 hasConcept C2777299769 @default.
• W2898206502 hasConcept C2779343474 @default.
• W2898206502 hasConcept C41008148 @default.
• W2898206502 hasConcept C80444323 @default.
• W2898206502 hasConcept C86803240 @default.
• W2898206502 hasConcept C93682546 @default.
• W2898206502 hasConceptScore W2898206502C115903868 @default.
• W2898206502 hasConceptScore W2898206502C151730666 @default.
• W2898206502 hasConceptScore W2898206502C18903297 @default.
• W2898206502 hasConceptScore W2898206502C199360897 @default.
• W2898206502 hasConceptScore W2898206502C2777299769 @default.
• W2898206502 hasConceptScore W2898206502C2779343474 @default.
• W2898206502 hasConceptScore W2898206502C41008148 @default.
• W2898206502 hasConceptScore W2898206502C80444323 @default.
• W2898206502 hasConceptScore W2898206502C86803240 @default.
• W2898206502 hasConceptScore W2898206502C93682546 @default.
• W2898206502 hasLocation W28982065021 @default.
• W2898206502 hasLocation W28982065022 @default.
• W2898206502 hasOpenAccess W2898206502 @default.
• W2898206502 hasPrimaryLocation W28982065021 @default.
• W2898206502 hasRelatedWork W1434978938 @default.
• W2898206502 hasRelatedWork W1480879962 @default.
• W2898206502 hasRelatedWork W152483390 @default.
• W2898206502 hasRelatedWork W1569206238 @default.
• W2898206502 hasRelatedWork W1982930894 @default.
• W2898206502 hasRelatedWork W2109631547 @default.
• W2898206502 hasRelatedWork W2139102157 @default.
• W2898206502 hasRelatedWork W2167486301 @default.
• W2898206502 hasRelatedWork W2709623861 @default.
• W2898206502 hasRelatedWork W3092664739 @default.

• next