H ? « ‹ ← → › »

Language peer sets for LC:
Designed 1994 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

LC(ID:5422/lc:001)

alternate simple view
Designed 1994

Linear Logic proglan
References:
  • P. Volpe. (1994) P. Volpe. "Concurrent logic programming as uniform linear proofs" In G. Levi and M. Rodriguez-Artalejo, editors, Algebraic and Logic Programming, pages 133-149. Springer-Verlag, September 1994
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder