A Term Calculus for Intuitionistic Linear Logic (1993)

Cached

Download Links

by Nick Benton , Gavin Bierman , Valeria De Paiva , Martin Hyland
Citations:72 - 11 self