The lambda-gamma calculus: A language adequate for defining recursive functions
On system parameter identifiability
A learning scheme for the Nearest Neighbour Classifier
Some aspects of the recognition of convex polyhedra from two plane projections. I
Consistent properties of composite formation under a binary relation
Conjugate convex functions, duality, and optimal control problems I: Systems governed by ordinary differential equations