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

Page view(s)

35
checked on Nov 27, 2022

Google ScholarTM

Check


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