A Survey of Linear Logic Programming. Miller, D. Computational Logic: The Newsletter of the European Network in Computational Logic, 2(2):63–67, December, 1995. bibtex @article{miller95computnet,
author = {Dale Miller},
title = {A Survey of Linear Logic Programming},
journal = {Computational Logic: The Newsletter of the European
Network in Computational Logic},
volume = {2},
number = {2},
pages = {63--67},
year = {1995},
month = dec
}
Downloads: 0
{"_id":"mS9zE4aoC3x2JtiMb","bibbaseid":"miller-asurveyoflinearlogicprogramming-1995","author_short":["Miller, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"A Survey of Linear Logic Programming","journal":"Computational Logic: The Newsletter of the European Network in Computational Logic","volume":"2","number":"2","pages":"63–67","year":"1995","month":"December","bibtex":"@article{miller95computnet,\n author = {Dale Miller},\n title = {A Survey of Linear Logic Programming},\n journal = {Computational Logic: The Newsletter of the European\n Network in Computational Logic},\n volume = {2},\n number = {2},\n pages = {63--67},\n year = {1995},\n month = dec\n}\n\n","author_short":["Miller, D."],"key":"miller95computnet","id":"miller95computnet","bibbaseid":"miller-asurveyoflinearlogicprogramming-1995","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["survey","linear","logic","programming","miller"],"title":"A Survey of Linear Logic Programming","year":1995}