| Authors: | Ghilezan, Silvia Kašterović, Simona |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Towards Completeness of Full Simply Typed Lambda Calculus | First page: | 164 | Last page: | 166 | Conference: | 26th International Conference on Types for Proofs and Programs, EUTYPES-TYPES, 2-5 March 2020, Turin, Italy | Issue Date: | Mar-2020 | Rank: | M34 | URL: | https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf | Publisher: | University of Turin |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.