LFMTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Logical Frameworks & Meta-Languages : Theory & Practice : September 23, 2013, Boston, Massachusetts, USA

Detalles Bibliográficos
Autor principal:	Momigliano, Alberto (-)
Autor Corporativo:	ACM Special Interest Group on Programming Languages Content Provider (content provider)
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] ACM 2013
Colección:	ACM Conferences
Materias:	Engineering & Applied Sciences Computer Science
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714318406719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource (68 pages)

Ejemplares similares