1
Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /
Other Personal Name(s): “...Pavlovic, Dusko...”

Full text 
Favorites
Saved in:
2
Algebraic Methodology and Software Technology [E-Book] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /
Other Personal Name(s): “...Pavlovic, Dusko....”

Full text 
Favorites
Saved in: