| Authors: | Ghilezan, Silvia | Title: | The correspondence between weak implicational logics and typed lambda calculus | Journal: | Journal of Symbolic Logic (1992), 57: 297 | Related Publication(s): | Proceedings | Conference: | The 1989 European Summer Meeting of ASL (Logic Colloquium), Berlin, Germany (1989) | Issue Date: | 1989 | Rank: | M34 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.