DC FieldValueLanguage
dc.contributor.authorGhilezan, Silviaen_US
dc.date.accessioned2023-10-10T10:06:03Z-
dc.date.available2023-10-10T10:06:03Z-
dc.date.issued1989-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/5169-
dc.relation.ispartofJournal of Symbolic Logic (1992), 57: 297en_US
dc.titleThe correspondence between weak implicational logics and typed lambda calculusen_US
dc.typeConference Paperen_US
dc.relation.conferenceThe 1989 European Summer Meeting of ASL (Logic Colloquium), Berlin, Germany (1989)en_US
dc.relation.publicationProceedingsen_US
dc.description.rankM34-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Paper-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

Page view(s)

20
checked on Jan 31, 2025

Google ScholarTM

Check


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