Tags
finance
formal verification
automated reasoning
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
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
bike sharing
See more
Presentations
(5)Tags
finance
formal verification
automated reasoning
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
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
bike sharing
See more