LEADER 01500oam  2200469   450 
001 9910555249403321
005 20210604170410.0
010   $a1-119-48921-0
010   $a1-119-48925-3
010   $a1-119-48922-9
035   $a(CKB)4100000011658430
035   $a(MiAaPQ)EBC6427675
035   $a(EXLCZ)994100000011658430
100   $a20210604d2020      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal semantics in modern type theories /$fStergios Chatzikyriakidis, Zhaohui Luo
210  1$aLondon, England :$cISTE Ltd ;$aHoboken, New Jersey :$cJohn Wiley & Sons, Incorporated,$d[2020]
210  4$d©2020
215   $a1 online resource (241 pages) $cillustrations
311   $a1-78630-128-8 
320   $aIncludes bibliographical references and index.
606   $aType theory
606   $aSemantics$xMathematical models
606   $aNatural language processing (Computer science)
608   $aElectronic books.
615  0$aType theory.
615  0$aSemantics$xMathematical models.
615  0$aNatural language processing (Computer science)
676   $a006
700   $aChatzikyriakidis$b Stergios$01219943
702   $aLuo$b Zhaohui
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a9910555249403321
996   $aFormal semantics in modern type theories$92820790
997   $aUNINA