A Framework for Defining Logical Frameworks (0)

by F Honsell, M Lenisa, L Liquori
Venue:Computation, Meaning and Logic. Articles dedicated to Gordon Plotkin, Electr. Notes Theor. Comput. Sci