PAL+: A Lambda-Free Logical Framework (2000)

by Zhaohui Luo
Citations:9 - 1 self