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

Page view(s)

29
checked on Jan 30, 2023

Google ScholarTM

Check


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