A Universal Realizability Model for Sequential Functional Computation (2002)

by A Rohr