| Authors: | Ghilezan, Silvia | Title: | Reducibility method and logical relations in intuitionistic logic and programming languages | Conference: | CM:FP 2013 - Constructive Mathematics: Foundation and Practice, June 24-28, 2013, Nis, Serbia | Issue Date: | 2013 | Rank: | M32 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.