| Authors: | Kašterović, Simona Ghilezan, Silvia |
Title: | Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums | Journal: | Book of Abstracts: Logics and Applications - LAP 2019 | First page: | 23 | Last page: | 25 | Conference: | 8th International Conference Logic and Applications 2019, 23-27 September 2019, Dubrovnik, Croatia | Issue Date: | Sep-2019 | Rank: | M34 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.