"A semantic measure of the execution time in linear logic."

Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco (2011)

Details and statistics

DOI: 10.1016/J.TCS.2010.12.017

access: open

type: Journal Article

metadata version: 2024-10-06