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
Publisher: University of Turin

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.