Essays about: "typed feature structures"
Found 2 essays containing the words typed feature structures.
-
1. Formalizing domain models of the typed and the untyped lambda calculus in Agda
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : We present a domain interpretation of the simply typed and the untyped lambda calculus. The interpretations are constructed using the notion of category with families, with added structure. READ MORE
-
2. Swedish-English Verb Frame Divergences in a Bilingual Head-driven Phrase Structure Grammar for Machine Translation
University essay from Institutionen för datavetenskapAbstract : In this thesis I have investigated verb frame divergences in a bilingual Head-driven Phrase Structure Grammar for machine translation. The purpose was threefold: (1) to describe and classify verb frame divergences (VFDs) between Swedish and English, (2) to practically implement a bilingual grammar that covered many of the identified VFDs and (3) to find out what cases of VFDs could be solved and implemented using a common semantic representation, or interlingua, for Swedish and English. READ MORE