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

Page view(s)

checked on May 9, 2024

Google ScholarTM


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