On higher-order action calculi and notions of computation (1996)

by GH96 P Gardner, M Hasegawa