Matches in SemOpenAlex for { <https://semopenalex.org/location/W26227454791> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W26227454791 hasURL "https://doi.org/10.1017/s0956796817000065" @default.
- W26227454791 type Location @default.
- W26227454791 hasSource S12266929 @default.
- W26227454791 hasVersion "publishedVersion" @default.
- W26227454791 isOa "true" @default.
- W26227454791 pdfUrl "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/B64163F12FCF62513E2148A6F0E52EE0/S0956796817000065a.pdf/div-class-title-special-issue-on-programming-with-dependent-types-editorial-div.pdf" @default.