Functional Translation of a Calculus of Capabilities (2007)

by Arthur Charguéraud , François Pottier
Citations:29 - 10 self