İYTE Library Logo

Cover image for Formal semantics in modern type theories
Formal semantics in modern type theories
Title:
Formal semantics in modern type theories
Author:
Chatzikyriakidis, Stergios, author.
ISBN:
9781119489214
Personal Author:
Chatzikyriakidis, Stergios, author.
Physical Description:
1 online resource
Local Note:
O'Reilly
Genre:
Electronic books.
Added Author:
Luo, Zhaohui,
Electronic Access:
https://learning.oreilly.com/library/view/~/9781786301284
https://go.oreilly.com/library-access/library/view/-/9781786301284/?ar
https://learning.oreilly.com/library/view/~/9781786301284/?ar
Holds: Copies:

İYTE Kütüphanesi © 2020
library@iyte.edu.tr
+90 (232) 750-6335
Gülbahçe Kampüsü - Urla, İzmir 35430 TR