Linear lambda-terms and natural deduction (0)

by G E Mints
Venue:Studia Logica