On categorical models of classical logic and the geometry of interaction (2005)

Cached

Download Links

by Carsten Führmann , David Pym
Citations:4 - 0 self