Results
Title: | Intersection types for intuitionistic lambda-Gentzen calculus | Authors: | Ghilezan, Silvia ; Ivetić, Jelena | Issue Date: | 2007 | Publication: | Publications de l Institut Mathematique, Beograd | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Search Idenfier | Publisher: | Mathematical Institute of the SASA | Type: | Article | Collation: | vol. 82 br. 96 str. 159-164 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4259 https://enauka.gov.rs/handle/123456789/576833 |
URL: | http://elib.mi.sanu.ac.rs/files/journals/publ/102/n096p085.pdf | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.