A Term Calculus for Intuitionistic Linear Logic (1993)

Cached

Download Links

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