| Authors: | Ghilezan, Silvia Ivetić, Jelena Ognjanović, Zoran Savić, Nenad |
Title: | Towards probabilistic reasoning about typed lambda terms | First page: | 41 | Last page: | 42 | Conference: | TYPES 2018 - 24th International Conference onTypes for Proofs and Programs, 18-21 June 2018, Braga, Portugal | Issue Date: | Jun-2018 | Rank: | M34 | URL: | https://types2018.projj.eu/wp-content/uploads/2018/06/BookOfAbstractsTYPES2018.pdf | Publisher: | Centro de Matematica, University of Minho |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.