Matches in SemOpenAlex for { <https://semopenalex.org/location/W20092479931> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W20092479931 hasURL "https://doi.org/10.2969/jmsj/01940399" @default.
- W20092479931 type Location @default.
- W20092479931 hasSource S120990105 @default.
- W20092479931 hasVersion "publishedVersion" @default.
- W20092479931 isOa "true" @default.
- W20092479931 pdfUrl "https://projecteuclid.org/journals/journal-of-the-mathematical-society-of-japan/volume-19/issue-4/A-proof-of-cut-elimination-theorem-in-simple-type-theory/10.2969/jmsj/01940399.pdf" @default.