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

Page view(s)

checked on May 9, 2024

Google ScholarTM


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