Dragisa Zunic

finance formal verification automated reasoning type system computer science asterix calculus concept of sharing *x calculus classical computing strong normalisation classical logic curry howard explicit structural rules novi sad bicikelj nsbike ns bike gradski bicikli sharing economy sustainable transport bike share car share nprp qnrf fair markets ecn black pool market orders limit orders cmu cmu-q stock exhange celf clf concurrent linear framework alternative trading system automated trading system trading system computational finance multiparty contracts peyton jones formal methods computing bike sharing