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

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.