Results
| Title: | Towards probabilistic reasoning about typed lambda terms | Authors: | Gilezan, Silvia K.   ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Zoran Ognjanović ; Nenad Savić |
Issue Date: | 2018 | Publication: | 24th International Conference on Types for Proofs and Programs, TYPES 2018 | Publisher: | Centro de Matematica, University of Minho | Type: | Conference Paper | Collation: | str. 41-42 | URI: | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4223 https://enauka.gov.rs/handle/123456789/163155 |
URL: | https://types2018.projj.eu/wp-content/uploads/2018/06/BookOfAbstractsTYPES2018.pdf | Metadata source: | Migracija | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.