What is a model for a semantically linear λ-calculus? | UPT Perpustakaan UHAMKA