Proof search for programming in Intuitionistic Linear Logic (Extended Abstract) (1994)

by D. Galmiche , E. Boudinet
Venue:CADE-12 Workshop on Proof Search in Type-Theoretic Languages
Citations:8 - 3 self