DMCA

Modified realizability interpretation of classical linear logic (2007)

Cached

Download Links

by Paulo Oliva
Venue:In Proceedings of Logic in Computer Science (LiCS
Citations:5 - 4 self