DC FieldValueLanguage
dc.contributor.authorGhilezan, Silviaen_US
dc.contributor.authorKašterović, Simonaen_US
dc.date.accessioned2020-11-25T08:52:31Z-
dc.date.available2020-11-25T08:52:31Z-
dc.date.issued2020-03-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4218-
dc.publisherUniversity of Turinen_US
dc.titleTowards Completeness of Full Simply Typed Lambda Calculusen_US
dc.typeConference Paperen_US
dc.relation.conference26th International Conference on Types for Proofs and Programs, EUTYPES-TYPES, 2-5 March 2020, Turin, Italyen_US
dc.identifier.urlhttps://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage164-
dc.relation.lastpage166-
dc.description.rankM34-
item.openairetypeConference Paper-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

Page view(s)

61
checked on Apr 24, 2024

Google ScholarTM

Check


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