BACK TO MASCOTTE PUBLICATION INDEX

Publications of M. Lenisa

Articles in journal or book chapters
  1. F. Honsell, M. Lenisa, and L. Liquori. A Framework for Defining Logical Frameworks. Electronic Notes in Theoretical Computer Science, 172:399 - 436, 2007.
    Note: Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin. [WWW ] [PDF ] [Abstract] [bibtex-entry]

Internal reports
  1. M. Lenisa, F. Honsell, and L. Liquori. A Framework for Defining Logical Frameworks. Research Report, RR INRIA and University of Udine, 2006. [WWW ] [bibtex-entry]


BACK TO MASCOTTE PUBLICATION INDEX




Last modified: Thu Oct 10 14:10:02 2013


This document was translated from BibTEX by bibtex2html