ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • TYPES 2024 - Abstracts [Elektronski vir] : 30th International Conference on Types for Proofs and Programs, Copenhagen, Denmark, 10-14 June 2024
    International Conference on Types for Proofs and Programs (30 ; 2024 ; Copenhagen (Denmark))
    Type of material - proceedings ; adult, serious
    Publication and manufacture - Copenhagen : [s. n.], 2024
    Language - english
    COBISS.SI-ID - 213880323