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
Publisher: Centro de Matematica, University of Minho

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM


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