Kripke Models and the (in)equational Logic of the Second-Order Lambda-Calculus (1995)

Cached

Download Links

by Jean Gallier