DMCA

Linear Logic, Monads, and the Lambda Calculus (1995)

by Nick Benton , Philip Wadler
Venue:In 11 th LICS
Citations:42 - 7 self