Unified Semantics for Modality and lambda-terms via Proof Polynomials

Cached

Download Links

by Sergei N. Artemov
Citations:3 - 1 self