Term Assignment for Intuitionistic Linear Logic (1992)

by Nick Benton , Gavin Bierman , Valeria Paiva , Martin Hyland
Citations:57 - 9 self