| Authors: | Kašterović, Simona Ghilezan, Silvia |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Kripke-style semantics for Full Simply Types Lambda Calculus | Journal: | Book of Abstracts : Logics and Applications - LAP 2020 | First page: | 12 | Last page: | 14 | Conference: | 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia | Issue Date: | Sep-2020 | Rank: | M34 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.