• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Vivek Nigam and Dale Miller. Algorithmic specifications in linear logic with subexponentials. In PPDP, pp. 129–140, ACM, 2009.
(unavailable)
@InProceedings{ nigam09ppdp,
author = "Vivek Nigam and Dale Miller",
title = "Algorithmic specifications in linear logic with subexponentials",
pages = "129--140",
booktitle = "PPDP",
publisher = "ACM",
year = "2009",
isbn = "978-1-60558-568-0",
year1 = "2009",
editor = "Ant{\'o}nio Porto and Francisco Javier L{\'o}pez-Fraguas",
title1 = "Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal",
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Logical Frameworks},
bib2html_dl_pdf = "/docs/ppdp11-nigam.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57