Applicative constructions
Christian Lehmann
Universität Erfurt