| Authors: | Ghilezan, Silvia Kunčak, Viktor |
Title: | Reducibility method in simply typed lambda calculus | Conference: | XIV Conference on Applied Mathematics PRIM, Palić, June 2000 | Issue Date: | 2000 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.