TY - GEN A1 - Reichau, Hermine T1 - Untersuchung alternativer nicht-deterministischer Lambda-Kalküle zur Implementierung der Montague-Semantik Y1 - 2006 UR - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/2313 UR - https://nbn-resolving.org/urn:nbn:de:hebis:30-30866 ER -