On Natural Deduction Style Semantics, Environments and Stores (1989)

by Christian-Emil Ore