Term Assignment for Intuitionistic Linear Logic (1992)

by Nick Benton , Gavin Bierman , Valeria Paiva , Martin Hyland
Citations:62 - 10 self