UP - logo
ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • Types 2023 - abstracts [Elektronski vir] : 29th International Conference on Types for Proofs and Programs : Valencia (Spain), 12-15 June 2023
    International Conference on Types for Proofs and Programs (29 ; 2023 ; Valencia)
    Type of material - proceedings ; adult, serious
    Publication and manufacture - Valencia : [s. n.], 2023
    Language - english
    COBISS.SI-ID - 168372739