H ? « ‹ ← → › »

Language peer sets for LinLog:
Japan↑
Japan/1992↑
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

LinLog(ID:5030/lin013)

alternate simple view
Country: Japan
Designed 1992

for Linear Logic

LInear Logic programming language
References:
  • Andreoli, J.-M. (1992) Andreoli, J.-M. "Logic programming with focusing proofs in linear logic"
          in (1992) Journal of Logic and Computation, 2(3), 1992
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder