Girard Translation and Logical Predicates (2000)

Cached

Download Links

by Masahito Hasegawa
Citations:4 - 3 self