01506oam 2200469 450 991082997280332120230124200825.01-119-48921-01-119-48925-31-119-48922-9(CKB)4100000011658430(MiAaPQ)EBC6427675(CaSebORM)9781786301284(EXLCZ)99410000001165843020210604d2020 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal semantics in modern type theories /Stergios Chatzikyriakidis, Zhaohui LuoLondon, England :ISTE Ltd ;Hoboken, New Jersey :John Wiley & Sons, Incorporated,[2020]©20201 online resource (241 pages) illustrations1-78630-128-8 Includes bibliographical references and index.Type theorySemanticsMathematical modelsNatural language processing (Computer science)Type theory.SemanticsMathematical models.Natural language processing (Computer science)006Chatzikyriakidis Stergios1615394Luo ZhaohuiMiAaPQMiAaPQUtOrBLWBOOK9910829972803321Formal semantics in modern type theories3945564UNINA