Showing 1 - 4 results of 4 for search 'Pavlovic, Dusko', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Programs as Diagrams From Categorical Computability to Computable Categories

    Programs as Diagrams From Categorical Computability to Computable Categories by Pavlovic, Dusko

    Published 2023

    Get full text Get full text
    Electronic eBook


    Saved in:
  2. 2
    Predicates and fibrations From type theoretical to category theoretical presentation of constructive logic

    Predicates and fibrations From type theoretical to category theoretical presentation of constructive logic by Pavlović, Dus̆ko

    Published 1990
    Thesis Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic ; (met een samenvatting in het Nederlands)

    Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic ; (met een samenvatting in het Nederlands) by Pavlović, Dus̆ko

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Foundations of security, protocols, and equational reasoning essays dedicated to Catherine A. Meadows

    Foundations of security, protocols, and equational reasoning essays dedicated to Catherine A. Meadows

    Published 2019
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:

Search Tools: