Matches in SemOpenAlex for { ?s ?p Selected papers from the International Workshop on Types for Proofs and Programs ?g. }
Showing items 1 to 5 of
5
with 100 items per page.
- W2913573478 title "Selected papers from the International Workshop on Types for Proofs and Programs" @default.
- W2913478297 title "Selected papers from the International Workshop on Types for Proofs and Programs" @default.
- W2914651737 title "Selected papers from the International Workshop on Types for Proofs and Programs" @default.
- W2913368520 title "Selected papers from the International Workshop on Types for Proofs and Programs" @default.
- W2911829706 title "Selected papers from the International Workshop on Types for Proofs and Programs" @default.