Formal semantics in modern type theories

Detalles Bibliográficos
Otros Autores:	Chatzikyriakidis, Stergios, author (author), Luo, Zhaohui, author
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	London, England : Hoboken, New Jersey : ISTE Ltd [2020]
Materias:	Type theory. Semantics > Mathematical models. Natural language processing (Computer science)
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009631335506719

Descripción
Descripción Física:	1 online resource (241 pages) : illustrations
Bibliografía:	Includes bibliographical references and index.
ISBN:	9781119489214 9781119489252 9781119489221

Ejemplares similares