Lexical Entry Types

Typed lexical entries for compositional semantics.

• LexEntry F — a typed denotation in frame F
• Lexicon F — string-keyed lookup of lexical entries

structure Semantics.Montague.LexEntry (F : Core.Logic.Intensional.Frame) : Type

• ty : Core.Logic.Intensional.Ty
• denot : F.Denot self.ty

def Semantics.Montague.Lexicon (F : Core.Logic.Intensional.Frame) : Type

Equations

• Semantics.Montague.Lexicon F = (String → Option (Semantics.Montague.LexEntry F))