Linear lambda-Calculus and Categorical Models Revisited (1992)

by Nick Benton , Gavin Bierman , Valeria De Paiva , Martin Hyland
Citations:22 - 0 self