Publications of M. Lenisa

BACK TO COATI PUBLICATION INDEX

Publications of M. Lenisa

Articles in journal or book's 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 COATI PUBLICATION INDEX



Last modified: Fri Oct 20 15:06:09 2017