Browse by ISBN
Jump to: Book Section
Number of items: 2.
Book Section
Atkey, Robert; (2018) The syntax and semantics of quantitative type theory. In: LICS '18. ACM, New York, pp. 56-65. ISBN 978-1-4503-5583-4
Ghani, Neil and Hedges, Julian and Winschel, Viktor and Zahn, Philipp; (2018) Compositional game theory. In: LICS '18. ACM, New York, pp. 472-481. ISBN 978-1-4503-5583-4