Skip to main content

Projects

  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z

C

  • CompGameTheory A compositional approach to game-theoretic economic modelling

R

S

T

Completed Projects

A

C

D

E

F

G

I

L

  • LINT Logic of Interaction and Information Flow

N

P

Q

R

  • RACE Reasoning about Computational Economies

S

T