Matches in SemOpenAlex for { <https://semopenalex.org/location/W20171438011> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W20171438011 hasURL "https://doi.org/10.1017/s0956796897002785" @default.
- W20171438011 type Location @default.
- W20171438011 hasSource S12266929 @default.
- W20171438011 hasVersion "publishedVersion" @default.
- W20171438011 isOa "true" @default.
- W20171438011 pdfUrl "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/E3DEB2EE26074D37AD38F522FDD7652E/S0956796897002785a.pdf/div-class-title-extending-a-calculus-with-explicit-substitution-which-preserves-strong-normalisation-into-a-confluent-calculus-on-open-terms-div.pdf" @default.