Denotationless terms and predicates expr
β
ROLF A. EBERLE
π
Article
π
2008
π
Wiley (Blackwell Publishing)
π
English
β 826 KB