1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2020★ 1 cited
Logic of fusion
Dusko Pavlovic
The starting point of this work is the observation that the Curry-Howard isomorphism, relating types and propositions, programs and proofs, composition and cut, extends to the corr…
cs.LO2020
Retracing some paths in categorical semantics: From process-propositions-as-types to categorified reals and computers
Dusko Pavlovic
The logical parallelism of propositional connectives and type constructors extends beyond the static realm of predicates, to the dynamic realm of processes. Understanding the logic…
math.CT2020
Nucleus I: Adjunction spectra in recommender systems and descent
Dusko Pavlovic, Dominic J. D. Hughes
Recommender systems build user profiles using concept analysis of usage matrices. The concepts are mined as spectra and form Galois connections. Descent is a general method for spe…