From Action Calculi to Linear Logic (1998)

by Andrew Barber , Philippa Gardner , Masahito Hasegawa , Gordon Plotkin
Citations:19 - 7 self