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

Page view(s)

checked on May 9, 2024

Google ScholarTM


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