Functional Translation of a Calculus of Capabilities (2007)

by Arthur Charguéraud , François Pottier
Citations:21 - 7 self